Holistic Real-Time Analysis with an Expressive Event Model

Steffen Kollmann, Victor Pollex, Frank Slomka. Holistic Real-Time Analysis with an Expressive Event Model. In Manfred Dietrich, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. pages 67-76, Fraunhofer Verlag, 2010.

Abstract

Abstract is missing.