Overcoming observability problems in distributed test architectures

DOI10.1016/J.IPL.2006.02.001zbMath1187.68078OpenAlexW1600933983MaRDI QIDQ844193

J. Chen, Robert M. Hierons, Hasan Ural

Publication date: 18 January 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://bura.brunel.ac.uk/handle/2438/335

zbMATH Keywords

observabilitycontrollabilitydistributed systemstestingfinite state machine

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Distributed systems (68M14)

Related Items (2)

Checking sequences for distributed test architectures ⋮ Minimizing Coordination Channels in Distributed Testing

Cites Work

• The synchronization problem in protocol testing and its complexity
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

This page was built for publication: Overcoming observability problems in distributed test architectures