Werner Damm 人物
相关论文查看全部 (2)
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
相关公司查看全部 (2)
Carl von Ossietzky Universität OldenburgUNIVERSITY
Oldenburger Institut für InformatikRESEARCH_INSTITUTE
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据