( en | de | ru )

 

Disambiguation of "Núñez, Manuel"

Author of the publication

copydeleteadd this publication to your clipboard
An extended framework for passive asynchronous testing.

, , and . J. Log. Algebraic Methods Program., 86 (1): 408-424 (2017)

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

An Effective Algorithm for Compiling Pattern Matching Keeping Laziness., and . GULP-PRODE, page 383-394. (1995)The Decay of Axisymmetric Magnetic Fields: A Review of Cowling's Theorem. SIAM Rev., 38 (4): 553--564 (1996)Predicting performance in the presence of stochastic information., , and . Comput. Syst. Sci. Eng., (2004)A Hierarchy of Equivalences for Probabilistic Processes., and . FORTE, volume 5048 of Lecture Notes in Computer Science, page 267-282. Springer, (2008)Specification and Testing of E-Commerce Agents Described by Using UIOLTSs., , and . FMOODS/FORTE, volume 6117 of Lecture Notes in Computer Science, page 78-86. Springer, (2010)Self-adaptive fuzzy-timed systems., , and . IEEE Congress on Evolutionary Computation, page 115-122. IEEE, (2011)Timed implementation relations for the distributed test architecture., , and . Distributed Comput., 27 (3): 181-201 (2014)PAMR: A Process Algebra for the Management of Resources in Concurrent Systems., and . FORTE, volume 197 of IFIP Conference Proceedings, page 169-184. Kluwer, (2001)The Decay of Axisymmetric Magnetic Fields: A Review of Cowling's Theorem.. SIAM Rev., 38 (4): 553-564 (1996)Formal testing from timed finite state machines., , and . Comput. Networks, 52 (2): 432-460 (2008)