Formal Techniques for Networked and Distributed Systems - FORTE 2005

DOI10.1007/11562436zbMath1169.68338OpenAlexW2915402656MaRDI QIDQ5479158

Hasan Ural, J. Chen, Robert M. Hierons

Publication date: 7 July 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11562436

zbMATH Keywords

observabilitycontrollabilitytestingfinite state machinetest architecture

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (2)

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

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2005