文献引用
复制
首页
[{"ID":42422,"Name":"理学"},{"ID":81272,"Name":"计算机科学技术"},{"ID":81357,"Name":"信息安全"},{"ID":81400,"Name":"信息系统安全"},{"ID":81404,"Name":"软件安全"},{"ID":81407,"Name":"软件安全防御"}]
模型检测
/model detection/
最后更新 2022-01-20
浏览 222次
一种有限状态系统的自动验证技术。可以彻底地、自动地检查给定硬件或软件系统的模型是否符合给定的属性和规范。
- 英文名称
- model detection
- 所属学科
- 计算机科学与技术
京公网安备 11010202008139号
