Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts.

Mercedes G. Merayo, Manuel Nez, Ismael Rodrguez

Browse the full FORTE paper archive.