Architecture description languages high-integrity real-time systems

Research output: Contribution to journalArticlepeer-review

Abstract

Modeling techniques such as the Architecture Information Modeling language can help simplify the lengthy and costly certification of safety-critical software.

Original languageEnglish
Pages (from-to)71-+
Number of pages10
JournalIEEE Software
Volume23
Issue number2
Publication statusPublished - 2006

Cite this