Credible execution of bounded-time parallel systems with delayed diagnosis
From MaRDI portal
Publication:1192010
DOI10.1007/BF02241704zbMath0746.68015MaRDI QIDQ1192010
Publication date: 27 September 1992
Published in: Computing (Search for Journal in Brave)
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68M15: Reliability, testing and fault tolerance of networks and computer systems
Uses Software
Cites Work