Verification of Failure Impact by Model checking
- Lead participant: BobbioAndrea
- Lead participant: Codetta RaiteriDaniele
- Lead participant: Di NolfoStefano
- Lead participant: GuiottoAndrea
- Lead participant: PortinaleLuigi
- Lead participant: TerruggiaRoberta