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
Keith Harriman
Keith Harriman
Innovative Defense Technologies
All
Innovative Defense Technologies' Automated Test and ReTest (ATRT) Integration with the Architecture Analysis Design Language (AADL)
June 3, 2022
•
Presentation
By
Keith Harriman
,
Joe Moritz
,
John J. Hudak