Modellierung und Validierung von Exception- Handling-Mechanismen fuer Realzeitsysteme
Oberweis, Andreas
| 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 |