搜索筛选:
搜索耗时0.0321秒,为你在为你在23,761,000篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：梁盟磊,王小平,薛小平,李刚,
来源：计算机工程 年份：2011
统一建模语言（UML）不能直接对所建立模型的正确性进行形式化验证。为解决上述问题，从UML模型的静态结构和动态行为2个方面分别提出结合行为时序逻辑（TLA）的模型形式化方法，在此基础......
[期刊论文] 作者：李刚, 丁佳, 梁盟磊, 薛小平, 王小平,,
来源：计算机工程 年份：2011
针对轨道交通车载装备的安全性问题，基于安全编码处理器（VCP）的编码思想，设计并实现安全编码预编译器（VCPC）。vCPC能将没有安全性的源代码转换成具有验证能力的安全代码，生成的安全......
相关搜索：
