Semantic Foundations and Formal Methods for Evolutionary System-of-Systems

Duration:
6/1/2023 - 5/31/2026

Principal Investigator(s):

Additional UMD Investigator(s):
Austin, Mark A.

Project Website:
https://minerva.defense.gov/Research/Funded-Projects/Article/3544550/evolutionary-system-of-system-architectures/

Research Funder:

Total Award Amount:
$990,000.00