Verified Complete Test Strategies for Finite State Machines

MaRDI QIDQ7361421FDO

Authors Robert Sachtleben

Publication date 9 August 2022

Cites work

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Formal techniques for networked and distributed systems -- FORTE 2005. 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2--5, 2005. Proceedings.
• Testing Software Design Modeled by Finite-State Machines

This page was built for software: Verified Complete Test Strategies for Finite State Machines