Proceedings

This volume addresses topics including: real-time systems; distributed system applications; specification and verification; distributed system analysis; verification and analysis; scheduling; real-time data organization; and design."