Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs
From MaRDI portal
Publication:4589595
DOI10.1109/TC.2008.15zbMath1373.68141MaRDI QIDQ4589595
Ismael Rodríguez, Manuel A. Nunez, Mercedes G. Merayo
Publication date: 10 November 2017
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
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, Introducing complexity to formal testing