Methods and Languages for Safety-Related Real-Time Programming.

Wolfgang A. Halang, Alceu Heinke Frigeri

Browse the full SAFECOMP paper archive.