( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools.

, , , , , , , , и . STAF Workshops, том 10748 из Lecture Notes in Computer Science, стр. 367-374. Springer, (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.

Marco Núñez-Müller

Ismael Núñez-Riboni

Ignacio Javier Núñez Zorriqueta

Tomás Núñez

Elena Núñez Álvarez

 

Другие публикации лиц с тем же именем

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