Rigorous Development of Complex Fault-Tolerant Systems - Butler, Michael; Jones, Cliff B.; Kanade, Takeo; Romanovsky, Alexander; Troubitsyna, Elena; Jones, Cliff (Springer Berlin Heidelberg, 2006)
Keywords: Information Technology -- Computer Science (Hardware & Networks)