Formal Verification of Safety Requirements on Complex Systems.

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi

Browse the full SAFECOMP paper archive.