Illustrating the AADL error modeling annex (v. 2) using a simple safety-critical medical device

B. Larson, J. Hatcliff, K. R. Fowler

Research output: Contribution to journalArticlepeer-review

Original languageAmerican English
JournalProceedings of the HILT Conference
StatePublished - Jan 1 2013

Disciplines

  • Engineering

Cite this