Methods Models And Tools For Fault Tolerancede Michael ButlerMateriasSoftware engineeringOperating systems (Computers)Artificial intelligenceComputer scienceFault-tolerant computingFault-tolerance computingCongressesFehlertoleranzAufsatzsammlungEdiciones (1)
Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings