KIT | KIT-Bibliothek | Impressum | Datenschutz

Modellierung und Validierung von Exception- Handling-Mechanismen fuer Realzeitsysteme

Oberweis, Andreas ORCID iD icon


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 1990
Sprache Deutsch
Identifikator ISBN: 3-540-53464-4
KITopen-ID: 239690
Erschienen in PEARL 90. Workshop ueber Realzeitsysteme, Boppard 1990. Proc. Hrsg.: W. Gerth
Verlag Springer-Verlag
Serie Informatik-Fachberichte ; 262
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page