Universidad Complutense de Madrid
E-Prints Complutense


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

García Merayo, Mercedes and Hierons, Robert M. and Núñez García, Manuel (2008) Extending Stream X-Machines to specify and test systems with timeouts. In SEFM 2008: Sixth IEEE International Conference on Software Engineering and Formal Methods, Proceedings. IEEE Computer Soc, LOS ALAMITOS, pp. 201-210. ISBN 978-0-7695-3437-4

This list was generated on Thu Aug 6 00:55:45 2020 CEST.