An Event Model for Deadline Verification of Hard Real-Time Systems

Bibliographische Detailangaben

1. Verfasser:	Gresser, K.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Delay Dynamic scheduling Optimal scheduling Petri nets Process control Processor scheduling Protocols Real time systems Scheduling algorithm Upper bound
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!