US Army: Semantic Foundations and Formal Methods for Evolutionary System-of-Systems

Faculty

Mark A. Austin

Funding Agency

US Army - Army Contracting Command - Aberdeen PG

Year

2023

Descriptions

"Semantic Foundations and Formal Methods for Evolutionary System-of-Systems" is a three-year contract from the US Army - Army Contracting Command - Aberdeen PG. Mark Austin is the PI.