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

DOI10.1007/11888116_27zbMath1225.68121OpenAlexW1752357427MaRDI QIDQ3613082

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

Publication date: 11 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11888116_27

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

On Resource-Sensitive Timed Component Connectors

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of timed automata
• Conformance Testing Relations for Timed Systems
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Testing timed automata

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