Werner Damm 人物

关系图谱

Werner Damm · 相关论文

LSCs: Breathing Life into Message Sequence Charts
2001Formal Methods in System Design引用 822
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*
2012European Journal of Control引用 324