Rigorous Development of Complex Fault-Tolerant Systems
Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsynå · Lecture notes in computer science · 2006
Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the cod