Author:
Backes John,Cofer Darren,Miller Steven,Whalen Michael W.
Publisher
Springer International Publishing
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime;Lecture Notes in Computer Science;2024
2. A Research Agenda for Space Flight Software Security;2023 IEEE 9th International Conference on Space Mission Challenges for Information Technology (SMC-IT);2023-07
3. Synthesizing verified components for cyber assured systems engineering;Software and Systems Modeling;2023-03-21
4. Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft;Requirements Engineering: Foundation for Software Quality;2023
5. Formalization of the AADL Run-Time Services;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022