Safety properties modelling.

Tullio J. Tanzi, Raoul Textoris, Ludovic Apvrille

Browse the full HSI paper archive.