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

Mercedes G. Merayo Manuel Núñez Ismael Rodríguez

Published in: FORTE (2006)

Keyphrases

management system
distributed systems
information systems
social networks
data sets
multiscale
data structure
knowledge based systems
learning systems
embedded systems
statistical tests