Universidad Complutense de Madrid
E-Prints Complutense

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 14.

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2007) A brief introduction to THOTL. In Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (4762). SPRINGER-VERLAG BERLIN, Berlín, pp. 501-510. ISBN 978-3-540-75595-1

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2012) A formal framework to test soft and hard deadlines in timed systems. Software testing verification & reliability, 22 (8). pp. 583-608. ISSN 0960-0833

García Merayo, Mercedes and Rodríguez Laguna, Ismael and Núñez García, Manuel (2006) A logic for assessing sets of heterogeneous testing hypotheses. Lecture Notes in Computer Science, 3964 . pp. 39-54. ISSN 0302-9743

Hidalgo Herrero, Mercedes and Garbayo Moreno, Martín Manuel and Encina Vara, Alberto de la and Rabanal Basalo, Pablo and Rodríguez Laguna, Ismael and Rubio Diez, Fernando (2016) Desarrollo de una aplicación (App) para plataformas móviles para mejorar la enseñanza/aprendizaje de sistemas de numeración y operaciones elementales en la formación de maestros (PIMCD-2015-216). [Proyecto de Innovación Docente]

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2008) Extending EFSMs to specify and test timed systems with action duration and time-outs. IEEE Transactions on Computers, 57 (6). pp. 835-848. ISSN 0018-9340

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2006) Extending EFSMs to specify and test timed systems with action durations and timeouts. Lecture Notes in Computer Science, 4229 . pp. 372-387. ISSN 0302-9743

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2007) Formal specification of multi-agent systems by using EUSMs. In International Symposium on Fundamentals of Software Engineering, Proceedings. Lecture Notes in Computer Science (4767). SPRINGER-VERLAG BERLIN, Berlín, pp. 318-333. ISBN 978-3-540-75697-2

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2008) Formal testing from timed finite state machines. Computer Networks, 52 (2). pp. 432-460. ISSN 1389-1286

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2007) Formal testing of systems presenting soft and hard deadlines. In International Symposium on Fundamentals of Software Engineering, Proceedings. Lecture Notes in Computer Science (4767). SPRINGER-VERLAG BERLIN, Berlín, pp. 160-174. ISBN 978-3-540-75697-2

García Merayo, Mercedes and Rodríguez Laguna, Ismael and Núñez García, Manuel (2007) HOTL: Hypotheses and observations testing logic. Journal of Logic and Algebraic Programming, 74 (2). 57-93.. ISSN 1567-8326

Rodríguez Laguna, Ismael and de la Encina Vara, Alberto and Garbayo Moreno, Martín Manuel and Hidalgo Herrero, Mercedes and López Barquilla, Natalia and Rabanal Basalo, Pablo Manuel and Rubio Diez, Fernando (2017) Herramienta para escoger sistemáticamente combinaciones de ejercicios con mayor capacidad formadora y/o evaluadora. [Proyecto de Innovación Docente]

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2006) Implementation relations for stochastic finite state machines. Lecture Notes in Computer Science, 4054 . pp. 123-137. ISSN 0302-9743

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2008) THOTL: A timed extension of HOTL. In Testing of Software and Communicating Systems, Proceedings. Lecture Notes in Computer Science (5047 ). SPRINGER-VERLAG BERLIN, Berlín, 86-102 . ISBN 978-3-540-68514-2

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2007) Testing finite state machines presenting stochastic time and timeouts. In Formal Methods and Stochastic Models for Performance Evaluation. Lecture Notes in Computer Science (4748). SPRINGER-VERLAG BERLIN, Berlín, pp. 97-111. ISBN 978-3-540-75210-3

This list was generated on Tue Aug 20 16:46:56 2019 CEST.