| 标题 |
 PAR: A Practicable Formal Method and Its Supporting Platform 相关领域
计算机科学
可执行文件
正确性
形式化方法
程序设计语言
软件工程
正式规范
形式验证
B法
精炼
模型转换
形式语言
人工智能
一致性（知识库）
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Lecture Notes in Computer Science 作者：Jinyun Xue; Yujun Zheng; Qimin Hu; Zhen You; Wuping Xie; Zhuo Cheng 出版日期：2018-10-10 |
| 求助人 | |
| 下载 | |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
Kao
cdercder
Copyright
22336
ale
arniu2008
大力的冬萱
yjh123
矮小的行云
lx
aaaa
Nexus
殷勤的紫槐
初景
MozzieMiao
pokexuejiao
科研狗
蓝天
俊秀的白曼
挖掘机
皖公网安备34019202002308
