Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs

DOI10.1109/TC.2008.15zbMath1373.68141MaRDI QIDQ4589595

Manuel A. Nunez, Mercedes G. Merayo, Ismael Rodríguez

Publication date: 10 November 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

68M15: Reliability, testing and fault tolerance of networks and computer systems

Related Items

Testing from a stochastic timed system with a fault model, Synthesis of distinguishing test cases for timed finite state machines