Carnegie Mellon University

Software Engineering Institute

Home
Publications
Authors
Danielle Stewart (Adventium Labs)

Danielle Stewart (Adventium Labs)

Adventium Labs

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

Report a Vulnerability to CERT/CC
Subscribe to SEI Bulletin
Request Permission to Use SEI Materials

Carnegie Mellon University
Software Engineering Institute
4500 Fifth Avenue
Pittsburgh, PA 15213-2612
412-268-5800

Contact Us

Office Locations
Additional Sites Directory
Legal
Privacy Notice
CMU Ethics Hotline
www.sei.cmu.edu

2025

Carnegie Mellon University