Hybrid Object-Oriented Real-Time Software Development with VDM

Jan van Katwijk, Eugne Drr, Stephen J. Goldsack

Browse the full ICFEM paper archive.