A Case Study in Formal System Engineering with SysML

Iulia Dragomir, Iulian Ober, David Lesens. A Case Study in Formal System Engineering with SysML. In Isabelle Perseil, Karin Breitman, Roy Sterritt, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. pages 189-198, IEEE Computer Society, 2012. [doi]

Abstract

Abstract is missing.