icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
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)