Rigorous development of complex fault-tolerant systems

Rigorous development of complex fault-tolerant systems
Details
- OL Work ID
- OL16931682W
Subjects
ReliabilityCongressesElectronic digital computersFormal methods (Computer science)Fault-tolerant computingComputer softwareComputer networksArtificial intelligenceComputer scienceSoftware engineeringOperating systems (Computers)Computer software, reliability