Synthesizing verified components for cyber assured systems engineering

Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin. Synthesizing verified components for cyber assured systems engineering. Software and Systems Modeling, 22(5):1451-1471, October 2023. [doi]

Abstract

Abstract is missing.