Auflistung nach Autor "Heckmann, Reinhold"
Anzeige der Dokumente 1-2 von 2
-
Validierung des Zeitverhaltens von kritischer Echtzeit-Software
Ferdinand, Christian; Kästner, Daniel; Martin, Florian; Langenbach, Marc; Sicks, Martin; Wilhelm, Stephan; Heckmann, Reinhold; Fritz, Nico; Thesing, Stephan; Fontaine, Frank; Theiling, Henrik; Schmidt, Michael; Evstiougov-Babaev, Alexander; Wilhelm, Reinhard
335-339 -
Verifying safety-critical properties of embedded software by abstract interpretation
Heckmann, Reinhold; Ferdinand, Christian
125-128