Model-Based Verification of Safety Contracts.

Elena Gmez-Martnez, Ricardo J. Rodrguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle

Browse the full SEFM paper archive.