( en | de | ru )

 

Disambiguierung von "Núñez, Manuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools.

, , , , , , , , und . STAF Workshops, Volume 10748 von Lecture Notes in Computer Science, Seite 367-374. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marco Núñez-Müller

Ismael Núñez-Riboni

Ignacio Javier Núñez Zorriqueta

Tomás Núñez

Ana Linda Núñez Bresgen

 

Weitere Publikationen von Autoren mit dem selben Namen

An Effective Algorithm for Compiling Pattern Matching Keeping Laziness., und . GULP-PRODE, Seite 383-394. (1995)A Hierarchy of Equivalences for Probabilistic Processes., und . FORTE, Volume 5048 von Lecture Notes in Computer Science, Seite 267-282. Springer, (2008)Specification and Testing of E-Commerce Agents Described by Using UIOLTSs., , und . FMOODS/FORTE, Volume 6117 von Lecture Notes in Computer Science, Seite 78-86. Springer, (2010)The Decay of Axisymmetric Magnetic Fields: A Review of Cowling's Theorem. SIAM Rev., 38 (4): 553--564 (1996)Formal Testing of Timed and Probabilistic Systems.. ICTSS, Volume 7019 von Lecture Notes in Computer Science, Seite 9-14. Springer, (2011)Passive Testing of Web Services., , und . WS-FM, Volume 6551 von Lecture Notes in Computer Science, Seite 56-70. Springer, (2010)Localized Eigenmodes of the Induction Equation.. SIAM J. Appl. Math., 54 (5): 1254-1267 (1994)PAMR: A Process Algebra for the Management of Resources in Concurrent Systems., und . FORTE, Volume 197 von IFIP Conference Proceedings, Seite 169-184. Kluwer, (2001)Self-adaptive fuzzy-timed systems., , und . IEEE Congress on Evolutionary Computation, Seite 115-122. IEEE, (2011)Controllable Test Cases for the Distributed Test Architecture., , und . ATVA, Volume 5311 von Lecture Notes in Computer Science, Seite 201-215. Springer, (2008)