Specification of Timed EFSM Fault Models in SDL

DOI10.1007/978-3-540-73196-2_4zbMath1215.68126OpenAlexW1499058580MaRDI QIDQ3614837

M. Ümit Uyar, Samrat S. Batth, Ana Cavalli, Ewerton R. Vieira

Publication date: 10 March 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-73196-2_4

zbMATH Keywords

extended finite state machinesSDLhit-or-jumptiming fault models

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• A theory of timed automata

This page was built for publication: Specification of Timed EFSM Fault Models in SDL