共 50 条
- [21] On the vulnerability of fingerprint verification systems to fake fingerprints attacks 2006: 40TH ANNUAL IEEE INTERNATIONAL CARNAHAN CONFERENCES SECURITY TECHNOLOGY, PROCEEDINGS, 2006, : 130 - +
- [24] The Challenges of Verification and Validation of Automated Planning Systems 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 2 - 2
- [25] Model Checking Automated Verification of Computational Systems RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2009, 14 (07): : 667 - 681
- [27] Automated verification of infinite state concurrent systems PARALLEL PROCESSING APPLIED MATHEMATICS, 2002, 2328 : 247 - 255
- [28] THROUGHPUT CAPACITY VERIFICATION OF AUTOMATED PARKING SYSTEMS 2008 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2008, : 2926 - 2926
- [30] Formal methods and automated verification of critical systems International Journal on Software Tools for Technology Transfer, 2018, 20 : 355 - 358