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

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)