Overcoming observability problems in distributed test architectures

DOI10.1016/J.IPL.2006.02.001MaRDI QIDQ844193zbMATH OpenOpenAlexFDO

Authors 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

testingcontrollabilityobservabilitydistributed systemsfinite state machine

Mathematics Subject Classification ID

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

Cites work

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

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q844193)