dblp:肖翰 https://dblp.org/pid/01/2095-3.html dblp个人页面RSS提要 2024年5月5日，星期日02:40:09+0200 英语-美国 每日的 1 根据CC0 1.0许可证发布 dblp@dagstuhl.de（dblp团队） dblp@dagstuhl.de（dblp团队） 计算机/计算机科学/出版物/书目 http://www.rssboard.org/rss-specification网站 https://dblp.org/img/logo.144x51.png网址dblp:肖翰https://dblp.org/pid/01/2095-3.html14451 基于STAMP的复杂安全控制系统的分层验证方法。https://doi.org/10.1016/j.scico.2018.11.006,,:
基于STAMP的复杂安全控制系统的分层验证方法。 科学。计算。程序。 172:117-134()]]>https://dblp.org/rec/journals/scp/HanTL192019年1月1日星期二00:00:00+0100 MARS：混合系统建模、分析和验证的工具链。https://doi.org/10.1007/978-3-319-48628-4_3,,,,,,,:
MARS：混合系统建模、分析和验证的工具链。 令人信服的正确系统 :39-58]]>https://dblp.org/rec/books/sp/17/ChenHTWYZZ172017年1月1日，星期日00:00:00+0100 基于模型检验的中国列车控制系统三级故障分析。https://doi.org/10.1007/978-3-319-33951-1_7,,,:
基于模型检验的中国列车控制系统三级故障分析。 RSS邮件 :95-105]]>https://dblp.org/rec/conf/rssrail/HanTLW162016年1月1日，星期五00:00:00+0100