标题 |
Framework for Formal Verification of Machine Learning Based Complex System‐of‐Systems
基于机器学习的复杂系统的形式化验证框架
相关领域
计算机科学
人工智能
互连性
机器学习
复杂系统
分类器(UML)
系统体系
数量适应效应
人工神经网络
系统设计
认知
软件工程
生物
神经科学
|
网址 | |
DOI | |
其它 |
期刊:Insight 作者:Ramakrishnan Raman; Nikhil Gupta; Yogananda Jeppu 出版日期:2023-03-01 |
求助人 | |
下载 | 该求助完结已超 24 小时,文件已从服务器自动删除,无法下载。 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|