Real-Time, Safety-Critical Systems: Analysis and Synthesis

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)264-281
JournalSoftware Engineering Journal
Volume9
Issue number6
Publication statusPublished - 1994

Cite this