Research Projects
Filtered by: DoD-Defense
Semantic Foundations and Formal Methods for Evolutionary System-of-Systems
Principal Investigator(s): Jennifer Golbeck
Funders: DoD-Defense
Semantic Foundations and Formal Methods for Evolutionary System-of-Systems is a three-year U.S. Army contract led by PI Mark Austin.
Principal Investigator(s): Jennifer Golbeck
Funders: DoD-Defense
Semantic Foundations and Formal Methods for Evolutionary System-of-Systems is a three-year U.S. Army contract led by PI Mark Austin.