A Dynamic Software Certification and Verification Procedure

SCI’99 Proceedings 2:426-435 (1998)
Download Edit this record How to cite View on PhilPapers
Abstract
in Oct-14-1998 ordinance INDESP-IO4 established the federal software certification and verification requirements for gaming machines in Brazil. The authors present the rationale behind these criteria, whose basic principles can find applications in several other software authentication applications.
PhilPapers/Archive ID
STEADS-5
Upload history
Archival date: 2021-07-23
View other versions
Added to PP index
2021-07-23

Total views
26 ( #61,881 of 64,256 )

Recent downloads (6 months)
26 ( #27,084 of 64,256 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.