Safety and liveness from a methodological point of view
From MaRDI portal
Publication:916351
DOI10.1016/0020-0190(90)90181-VzbMath0703.68019OpenAlexW1964796077MaRDI QIDQ916351
Publication date: 1990
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(90)90181-v
Network design and communication in computer systems (68M10) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items
Liveness in timed and untimed systems, Synthesis of Reactive(1) designs, Safety and liveness from a methodological point of view, Sooner is safer than later
Uses Software
Cites Work