共 50 条
- [21] Efficiency of automata in semi-commutation verification techniques RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2008, 42 (02): : 197 - 215
- [24] Comparison of Safety and Security Analysis Techniques 14TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS AND 12TH INTERNATIONAL CONFERENCE ON EUROPEAN TRANSNATIONAL EDUCATIONAL (CISIS 2021 AND ICEUTE 2021), 2022, 1400 : 234 - 242
- [26] A Methodology for Analysis and Verification of Power Gated Circuits with Correlated Results ISLPED'07: PROCEEDINGS OF THE 2007 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, 2007, : 351 - 354
- [27] Maintaining data consistency of XML Databases using verification techniques ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES, 2007, 4435 : 256 - +
- [28] Specification and Verification Techniques of Object Oriented Programs using Invariants INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2019, 19 (08): : 39 - 50
- [29] Design Verification and Measurement Techniques for UHF RFID Tag IC 2011 7TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING (WICOM), 2011,