( en | de | ru )

 

Disambiguation of "Núñez, Manuel"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Correctness of a Passive Testing Approach for Timed Systems.

, , and . ICST Workshops, page 67-76. IEEE Computer Society, (2009)

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.

Marco Núñez-Müller

Ismael Núñez-Riboni

Ignacio Javier Núñez Zorriqueta

Tomás Núñez

Elena Núñez Álvarez

 

Other publications of authors with the same name

Activity structures in a project-based environment: a coordination theory perspective., , and . IEEE Trans. Engineering Management, 53 (2): 285-296 (2006)Business Process Integration of Multiple Customer Order Review Systems., and . IEEE Trans. Engineering Management, 57 (3): 502-512 (2010)Using genetic algorithms to generate test sequences for complex timed systems., , , and . Soft Comput., 17 (2): 301-315 (2013)Passive testing with asynchronous communications and timestamps., , and . Distributed Comput., 31 (5): 327-342 (2018)SINPA: SupportINg the automation of construction PlAnning., , and . Expert Syst. Appl., (2022)TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems., , , and . IEEE Trans. Reliab., 70 (1): 261-284 (2021)An Analytic Study of the Reversal of Hartmann Flows by Rotating Magnetic Fields.. Int. J. Math. Mathematical Sciences, (2012)A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments., , and . AIMSA, volume 3192 of Lecture Notes in Computer Science, page 361-370. Springer, (2004)Squeeziness for non-deterministic systems., and . Inf. Softw. Technol., (June 2023)STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems., , and . IEEE ICCI, page 64-73. IEEE Computer Society, (2004)