| 标题 |
 Offering formal verification capabilities for industry standard case tools: challenges and results 为行业标准案例工具提供正式验证功能：挑战和结果
相关领域
计算机科学
形式验证
形式化方法
软件工程
系统工程
程序设计语言
工程类
|
| 网址 | |
| DOI | |
| 其它 |
期刊： 作者：Werner Damm 出版日期：2005-08-29 |
| 求助人 | |
| 下载 | |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
丰盛的煎饼
西红柿炒番茄
乐乐乐乐乐乐
加菲丰丰
Hayat
kento
寻道图强
ShowMaker
YifanWang
冒险寻羊
杳鸢
互助遵法尚德
lanxinyue
spark810
景辣条
大仙
yyymmma
斯文败类
乐乐
水牛
皖公网安备34019202002308
