A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design.

Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang

Browse the full MODELS paper archive.