Publisher's Synopsis
Real-time computing is an essential discipline in both control engineering and computer science. The contributors to this symposium proceedings volume focus on real-time modelling, formal methods in discrete control systems, safety critical computer control applications and real-time architectures and systems.