Login
- Autor(en):
- Gresser, Klaus
- Titel:
- An Event Model for Deadline Verification of Hard Real--Time Systems
- Kongress- / Buchtitel:
- Proc. Fifth Euromicro Workshop on Real Time Systems
- Ausrichter der Konferenz:
- IEEE
- Jahr:
- 1993
- Sprache:
- english
BibTeX
BibTeX