| 标题 |
 Model checking intelligent avionics systems for test cases generation using multi-agent systems 相关领域
计算机科学
航空电子设备
模型检查
组分（热力学）
基于模型的测试
谓词抽象
可扩展性
测试用例
分布式计算
理论计算机科学
机器学习
数据库
热力学
物理
回归分析
复合材料
材料科学
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Expert Systems with Applications 作者：Warda Elkholy; Mohamed El-Menshawy; Jamal Bentahar; Mounia Elqortobi; Amine Laarej; Rachida Dssouli 出版日期：2020 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
nenoaowu
MchemG
请叫我风吹麦浪
iNk
bonster
皖公网安备34019202002308
