Extending Stream X-Machines to Specify and Test Systems with Timeouts.

Mercedes G. Merayo, Robert M. Hierons, Manuel Nez

Browse the full SEFM paper archive.