Publication | Closed Access

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*

Cyber-physical Production SystemCyber Physical SystemsEngineeringDr. FrankensteinDesignSystems EngineeringDesign By ContractSoftware DesignCritical Computing