Safety Contracts for Timed Reactive Components in SysML.

Iulia Dragomir, Iulian Ober, Christian Percebois

Browse the full SOFSEM paper archive.