MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts.

Alessio Di Sandro, Gehan M. K. Selim, Rick Salay, Torin Viger, Marsha Chechik, Sahar Kokaly

Browse the full MODELS paper archive.