模型校验
自动化科学技术名词
模型校验（model checking）是1990年公布的自动化科学技术名词。
公布时间
1990年，经全国科学技术名词审定委员会审定发布。
出处
《自动化名词》第一版。
参考资料
模型校验.术语在线.
最新修订时间：2022-03-31 00:49
条目作者
小编
目录
概述
公布时间
出处
参考资料

Copyright©2024 闽ICP备2024072939号-1