Safety Contracts for Timed Reactive Components in SysML

SOFSEM 2014: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-04298-5_19 ◽

2014 ◽

pp. 211-222 ◽

Cited By ~ 1

Author(s):

Iulia Dragomir ◽

Iulian Ober ◽

Christian Percebois

Download Full-text