Safety and Security Analysis of Object-Oriented Models.

Kevin Lano, David Clark, Kelly Androutsopoulos

Browse the full SAFECOMP paper archive.