Abstract
Modeling techniques such as the Architecture Information Modeling language can help simplify the lengthy and costly certification of safety-critical software.
Original language | English |
---|---|
Pages (from-to) | 71-+ |
Number of pages | 10 |
Journal | IEEE Software |
Volume | 23 |
Issue number | 2 |
Publication status | Published - 2006 |