Title: Rigorous development of complex fault-tolerant systems
Subjects: Reliability, Congresses, Electronic digital computers, Formal methods (Computer science), Fault-tolerant computing, Computer software, Computer networks, Artificial intelligence, Computer science, Software engineering, Operating systems (Computers), Computer software, reliability