Title :
IEE Colloquium on Real-Time Systems (Digest No.1998/306)
Abstract :
The following topics were dealt with: real time systems; safety critical software systems; avionic systems; real time systems verification and testing; formal methods for real time systems; scheduling real time communications; and embedded control systems analysis
Keywords :
real-time systems; avionic systems; embedded control systems analysis; formal methods; real time communications; real time systems verification; safety critical software systems; scheduling;
Conference_Titel :
Real-Time Systems (Digest No. 1998/306), IEE Colloquium on
Conference_Location :
York
