Treffer: Retrospective exploration of safety properties in real-time concurrent systems
Title:
Retrospective exploration of safety properties in real-time concurrent systems
Authors:
Source:
16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings Digital avionics systems Digital Avionics Systems Conference, 1997. 16th DASC., AIAA/IEEE. 1:1.1-43 1997
Relation:
16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings
Database:
IEEE Xplore Digital Library