From Conceptual Models to Safety Assurance.

Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers

Browse the full ER paper archive.