Contract-based modeling and verification of timed safety requirements within SysML

Iulia-Elena Dragomir, Iulian Ober, Christian Percebois

Research output: Contribution to journal › Article › Scientific › peer-review

11 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Contract-based modeling and verification of timed safety requirements within SysML'. Together they form a unique fingerprint.

Computer Science