搜索结果: 1-1 共查到“计算机科学技术 PVS”相关记录1条 . 查询时间(0.078 秒)
A Case Study on the Application of PVS to Requirements Analysis
Application PVS Requirements Analysis
2009/12/9
This paper presents the results of a formal methods case study in which the Prototype Verification System (PVS) has been used for requirements analysis of one module of a physical access control syste...