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

2012European Journal of Control引用 324
DOI
Formal Methods in VerificationEmbedded Systems Design TechniquesSafety Systems Engineering in Autonomy
Formal Methods in VerificationEmbedded Systems Design TechniquesSafety Systems Engineering in Autonomy
相关技术:Formal Methods in Verification
关系图谱

Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems* · 相关技术

相关技术

Formal Methods in Verification