模板重用相关硕士博士期刊学术论文 - 搜论网

模板重用相关论文

轨道交通联锁领域特定语言的形式化

作为轨道交通系统的核心子系统之一,对联锁系统进行形式化建模与分析,是保证其安全性的重要手段.形式化建模需要领域知识和形式化......

期刊

联锁系统模板重用形式化建模随机混成自动机领域特定语言 interlocking systemtemplate reuseformal modelings

看过本文同时还关注