( en | de | ru )

 

Disambiguation of "Cota, Érika F."

Author of the publication

copydeleteadd this publication to your clipboard
Use Case Analysis Based on Formal Methods: An Empirical Study.

, , , , , and . WADT, volume 9463 of Lecture Notes in Computer Science, page 110-130. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Giuseppe Cota

Smaranda Cota

Antonio Cota Marçal

Edgar Anibal Galindo Cota

Jorge Luis Cervantes Cota

 

Other publications of authors with the same name

Testing requirements for an embedded operating system: The exception handling case study., , and . LATW, page 1-6. IEEE, (2009)A Test Method for a Broad Class of DSP Circuits., , and . LATW, page 214-219. IEEE, (2001)An evaluation of free/open source static analysis tools applied to embedded software., , , , , and . LATW, page 1-6. IEEE, (2010)Embedded software testing: What kind of problem is this?. DATE, page 1486. IEEE Computer Society, (2010)Evaluation of SEU and crosstalk effects in network-on-chip switches., , , and . SBCCI, page 202-207. ACM, (2006)Improving yield of torus nocs through fault-diagnosis-and-repair of interconnect faults., , , , , and . IOLTS, page 61-66. IEEE Computer Society, (2009)The Impact of NoC Reuse on the Testing of Core-based Systems., , , , , and . VTS, page 128-133. IEEE Computer Society, (2003)A High-Fault-Coverage Approach for the Test of Data, Control and Handshake Interconnects in Mesh Networks-on-Chip., , , , , , , and . IEEE Trans. Computers, 57 (9): 1202-1215 (2008)Predicting Prime Path Coverage Using Regression Analysis., and . SBES, page 263-272. ACM, (2020)ExecutionFlow: a tool to compute test paths of Java methods and constructors., , and . SBES, page 221-226. ACM, (2021)