Auflistung Nach Schlagwort "WCET" - Digitale Bibliothek

Anzeige der Dokumente 1-2 von 2

Funktionale Sicherheit in Automotive und Avionik: Ein Staffellauf

Schwierz, Andreas; Seifert, Georg; Hiergeist, Sebastian
13-25
Unified Approach to Static and Runtime Verification

Thoss, Olga; Werner, Andreas; Kaiser, Robert; Kroeger, Reinhold
995-1002

Anzeige der Dokumente 1-2 von 2