Links

• IEEE-CS Technical Committee on Real-Time Research
• The Real-Time Database Interest Group
• The Real-Time Systems Research Group at the University of York
• ARTES - Network for Real-Time Research and graduate Education in Sweden
• SNART - The Swedish National Real-Time Association
• World library of formal methods
• Formal methods educational resources
• Internet resource on safety-critical systems
• A virtual publishing company internet resources on real-time
• IEEE Technical Committee on Discrete Event Systems