Universidad Complutense de Madrid
E-Prints Complutense

IndexAuthor

Number of items: 2.

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 (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

This list was generated on Wed Mar 3 03:30:20 2021 CET.