A Case Study in Formal System Engineering with SysML.

Iulia Dragomir, Iulian Ober, David Lesens

Browse the full ICECCS paper archive.