Rigorous development of complex fault-tolerant systemsde Michael ButlerMateriasReliabilityCongressesElectronic digital computersFormal methods (Computer science)Fault-tolerant computingComputer softwareComputer networksArtificial intelligenceComputer scienceSoftware engineering
Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings