Login / Signup
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs.
Mercedes G. Merayo
Manuel Núñez
Ismael Rodríguez
Published in:
IEEE Trans. Computers (2008)
Keyphrases
</>
complex systems
relational databases
computer systems
database
case study
expert systems
management system
distributed systems
learning systems
retrieval systems
real world
data structure
building blocks
test data
simulation model