Modeling

The formalization of system engineering models and approaches.
project

Visible to the public CPS: Small: Formal Analysis of Man-Machine Interfaces to Cyber-Physical Systems

Project Details
Institution(s): 
University of Colorado at Boulder
project

Visible to the public CPS: Medium: Timing-Centric Software

Project Details
Institution(s): 
University of California-Berkeley