|
|
|
|
|
Georg Droschl
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 system. PVS is a tool for writing formal specifications and...
ver más
|
|
|
|
|