.png){kind=icon}
返回
Comparing Model Checking and Model-Based Simulation
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-10762-6_12.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
我们采用一个铁路相关的案例研究来说明，在利用学术形式化验证框架和工业模型化框架对系统进行建模和验证时可能遇到的不同之处。文中阐述了这两种方法的不同角色和结构。我们分析了仅使用交互式模拟无法复现形式化验证活动的实例，并由此提出了未来的研究方向。
Keyword:
umc
Sparx enterprise architect
formal verification
uml
期刊
机构
引用论文
.png){kind=icon}
分享收藏Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application铁路CCS应用中SysML模型到Event-B模型的自动转换
PREAI
分享收藏分享收藏
查看更多内容