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

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540482659, 9783540482673
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Development of Mechanisms for Tolerating Transient Faults

2006 ◽  
pp. 189-209 ◽  
Author(s):  
Dubravka Ilić ◽  
Elena Troubitsyna ◽  
Linas Laibinis ◽  
Colin Snook
Keyword(s):  
Transient Faults ◽  
Formal Development

The Fault-Tolerant Insulin Pump Therapy

2006 ◽  
pp. 59-79 ◽  
Author(s):  
Alfredo Capozucca ◽  
Nicolas Guelfi ◽  
Patrizio Pelliccione
Keyword(s):  
Fault Tolerant ◽  
Insulin Pump ◽  
Insulin Pump Therapy ◽  
Pump Therapy

Formal Service-Oriented Development of Fault Tolerant Communicating Systems

2006 ◽  
pp. 261-287 ◽  
Author(s):  
Linas Laibinis ◽  
Elena Troubitsyna ◽  
Sari Leppänen ◽  
Johan Lilius ◽  
Qaisar Ahmad Malik
Keyword(s):  
Fault Tolerant ◽  
Formal Service ◽  
Service Oriented

Reasoning About Exception Flow at the Architectural Level

2006 ◽  
pp. 80-99
Author(s):  
Fernando Castor Filho ◽  
Patrick Henrique da S. Brito ◽  
Cecília Mary F. Rubira
Load More ...
Sign in / Sign up

Export Citation Format

Share Document