4. SERENE 2012: Pisa, Italy

Fault Tolerance and Exception Handling

Safety Modeling

Supporting Evolution

Resilience in Service-Oriented Computing

Applying Formal Methods in Case Studies