Development of Safety-Critical Real-Time Systems

Authors:
Hans Rischel;Jorge Cuéllar;Simon Mørk;Anders P. Ravn;Isolde Wildgruber
Affiliations:
-;-;-;-;-
Venue:
SOFSEM '95 Proceedings of the 22nd Seminar on Current Trends in Theory and Practice of Informatics
Year:
1995

Real-Time Constraints Through the ProCoS Layers

Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Machine-assisted proof support for validation beyond Simulink

ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Design verification patterns

Formal methods and hybrid real-time systems

Hi-index	0.00