Formal Techniques for Networked and Distributed Systems – FORTE 2004
From MaRDI portal
Publication:5464473
DOI10.1007/b100576zbMath1110.68334MaRDI QIDQ5464473
Robert M. Hierons, Hasan Ural, J. Chen
Publication date: 18 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100576
68M14: Distributed systems
68M15: Reliability, testing and fault tolerance of networks and computer systems
Related Items
Overcoming observability problems in distributed test architectures, Canonical finite state machines for distributed systems, Checking sequences for distributed test architectures, Minimizing Coordination Channels in Distributed Testing