SaveCCM - A Component Model for Safety-Critical Real-Time Systems

Hans Hansson, Mikael Åkerholm, Ivica Crnkovic, Martin Törngren. SaveCCM - A Component Model for Safety-Critical Real-Time Systems. In 30th EUROMICRO Conference 2004, 31 August - 3 September 2004, Rennes, France. pages 627-635, IEEE Computer Society, 2004. [doi]

Abstract

Abstract is missing.