Auflistung nach Autor "Wilhelm, Stephan"
Anzeige der Dokumente 1-3 von 3
-
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
-
Content Management
Schuster, Erwin; Wilhelm, Stephan
373-375 -
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