AADL-Based safety analysis using formal methods applied to aircraft digital systems
['Danielle Stewart', 'Jing (Janet) Liu', 'Darren Cofer', 'Mats Heimdahl', 'Michael W. Whalen', 'Michael Peterson']
/
Reliability Engineering & System Safety
/ Vol. 213
0.0 / 5
0
Reviews
You must log in to post, edit and delete a review.
Log in
Earn 50 points when your review is published.
About KnowledgeRank Points
No reviews have been posted yet. Be the first to write one!