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

DOI10.1109/TC.2008.15zbMath1373.68141OpenAlexW2157820788MaRDI 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)

Full work available at URL: https://doi.org/10.1109/tc.2008.15

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (3)

Synthesis of distinguishing test cases for timed finite state machines ⋮ Testing from a stochastic timed system with a fault model ⋮ Introducing complexity to formal testing

This page was built for publication: Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs