Biblioteca de la Universidad Complutense de Madrid

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 13.

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

Hidalgo Herrero, Mercedes y Garbayo Moreno, Martín Manuel y Encina Vara, Alberto de la y Rabanal Basalo, Pablo y Rodríguez Laguna, Ismael y 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 y Núñez García, Manuel y 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 y Núñez García, Manuel y Rodríguez Laguna, Ismael (2006) Extending EFSMs to specify and test timed systems with action durations and timeouts. Lecture Notes in Computer Science, 4229 . 372-387 . ISSN 0302-9743

García Merayo, Mercedes y Núñez García, Manuel y 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 y Núñez García, Manuel y 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 y Núñez García, Manuel y 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 y Rodríguez Laguna, Ismael y 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

García Merayo, Mercedes y Núñez García, Manuel y 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 y Núñez García, Manuel y 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 y Núñez García, Manuel y 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

Esta lista fue generada el Tue Dec 6 02:38:23 2016 CET.