Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces

DOI10.1109/TC.2012.252zbMath1365.68324MaRDI QIDQ5274492

Robert M. Hierons

Publication date: 12 July 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces