Reasoning About Exception Flow at the Architectural Level

Rigorous Development of Complex Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/11916246_4 ◽

2006 ◽

pp. 80-99

Author(s):

Fernando Castor Filho ◽

Patrick Henrique da S. Brito ◽

Cecília Mary F. Rubira

Download Full-text