Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin. Synthesizing Verified Components for Cyber Assured Systems Engineering. In 24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021. pages 205-215, IEEE, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.