Complutense University Library

IndexAuthor

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

Frutos Escrig, David de and Llana Díaz, Luis Fernando and Núñez García, Manuel (1998) An invitation to friendly testing. Journal of computer science and technology, 13 (6). pp. 531-545. ISSN 1000-9000

Llana Díaz, Luis Fernando and Frutos Escrig, David de (1997) Denotational semantics for timed testing. In Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings. Lecture notes in computer science (1231). Springer, pp. 368-382. ISBN 978-3-540-63010-4

Llana Díaz, Luis Fernando and Frutos Escrig, David de and Núñez García, Manuel (1997) Introducing friendly testing. In V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia, Vigo, junio de 1997. Univ. Vigo, pp. 281-292. ISBN 84-8158-065-1

Llana Díaz, Luis Fernando (2002) Jugando con el tiempo : semántica de pruebas para algebras de procesos temporizadas. [Thesis]

Llana Díaz, Luis Fernando and Frutos Escrig, David de and Núñez García, Manuel (2007) Testing Semantics for Urgent Timed Process Algebras. In Real-time systems. AMAST series in computing (8). World Scientific, pp. 221-235. ISBN 981-02-4424-x

This list was generated on Fri Aug 1 03:18:34 2014 CEST.