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 Mon Aug 2 02:58:42 2021 CEST.