Safe and Secure Architecture Using Diverse Formal Methods.

Thierry Lecomte

Browse the full ISoLA paper archive.