Formal Model-Based Design & Manufacture: A Template for Managing Complexity in Large-Scale Cyber-Physical Systems

Paul Eremenko

fmr. Deputy Director/Acting Director

更多

Tactical Technology Office

Briefing prepared for the

Conference on Systems Engineering Research

March 21, 2013

收起