Proving Compliance of Implementation Models to Safety Specifications.

Markus Oertel, Omar Kacimi, Eckard Bde

Browse the full SAFECOMP paper archive.