Auflistung nach Autor "Ferdinand, Christian"
Anzeige der Dokumente 1-4 von 4
-
Astrée: Nachweis der Abwesenheit von Laufzeitfehlern
Kästner, Daniel; Ferdinand, Christian; Wilhelm, Stephan; Nenova, Stefana; Honcharova, Olha; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier; Sims, Élodie-Jane
-
Static verification of non-functional software requirements in the ISO-26262
Kästner, Daniel; Ferdinand, Christian
39-54 -
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