icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
About
Our Work
Publications
News and Events
Education and Outreach
Careers
Home
Publications
Authors
John Hatcliff (Kansas State University)
John Hatcliff (Kansas State University)
Kansas State University
All
Formalization of the AADL Run-Time Services
October 17, 2022
•
Conference Paper
By
John Hatcliff (Kansas State University)
,
Jerome Hugues
,
Danielle Stewart (Adventium Labs)
,
Lutz Wrage
SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis
August 29, 2017
•
Article
By
Sam Procter
,
Eugene Y. Vasserman (Kansas State University)
,
John Hatcliff (Kansas State University)