( 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

Elena Núñez Álvarez

 

Weitere Publikationen von Autoren mit dem selben Namen

Characterizing termination in LOTOS via testing., , und . PSTV, Volume 38 von IFIP Conference Proceedings, Seite 237-250. Chapman & Hall, (1995)Testing Semantics for Probabilistic LOTOS., und . FORTE, Volume 43 von IFIP Conference Proceedings, Seite 367-382. Chapman & Hall, (1995)NMSPA: A Non-Markovian Model for Stochastic Processes., und . ICDCS Workshop on Distributed System Validation and Verification, Seite E33-E40. (2000)A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems., , und . IESS, Volume 184 von IFIP, Seite 125-136. Springer, (2005)Conformance Relations for Fuzzy Automata., , , und . IWANN (1), Volume 11506 von Lecture Notes in Computer Science, Seite 753-765. Springer, (2019)Experimental Comparison of Different Techniques to Generate Adaptive Sequences., , und . IWANN (2), Volume 6692 von Lecture Notes in Computer Science, Seite 404-411. Springer, (2011)A Brief Introduction to THOTL., , und . ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 501-510. Springer, (2007)Editorial message: special track on E-commerce technologies., , und . SAC, Seite 757-758. ACM, (2004)A formal framework to test soft and hard deadlines in timed systems., , und . Softw. Test. Verification Reliab., 22 (8): 583-608 (2012)Using schedulers to test probabilistic distributed systems., und . Formal Aspects Comput., 24 (4-6): 679-699 (2012)