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

researchr

You are not signed in
Sign in
Sign up

Brian R. Larson, John Hatcliff, Kim Fowler, Julien Delange. Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device. In Jeff Boleng, S. Tucker Taft, editors, Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013. pages 65-84, ACM, 2013. [doi]

This author has not been identified. Look up 'Brian R. Larson' in GoogleThis author has not been identified. It may be one of the following persons:

John Hatcliff

Look up 'John Hatcliff' in GoogleThis author has not been identified. Look up 'Kim Fowler' in GoogleThis author has not been identified. Look up 'Julien Delange' in Google

runs on WebDSL