Title :
Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)
Abstract :
The following topics were dealt with: real-time systems; scheduling; distributed system applications; specification and verification; distributed system analysis; real-time data organisation; and design
Keywords :
database management systems; distributed processing; formal specification; formal verification; real-time systems; system monitoring; design; distributed system analysis; distributed system applications; real-time data organisation; real-time systems; scheduling; specification; verification;
Conference_Titel :
Real-Time Systems, 1998. Proceedings. 10th Euromicro Workshop on
Conference_Location :
Berlin, Germany
Print_ISBN :
0-8186-8503-4
DOI :
10.1109/EMWRTS.1998.684652