An integrated technique for developing real-time systems.

Jozef Hooman, Jri Vain

Browse the full ECRTS paper archive.