共 50 条
- [1] Specification, Verification, and Synthesis using Extended State Machines with Callbacks 2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2016, : 95 - 104
- [5] Experimental Verification of Control Rules for A Lane-keeping Controller Using Similarity Fuzzy Reasoning 2020 JOINT 11TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND INTELLIGENT SYSTEMS AND 21ST INTERNATIONAL SYMPOSIUM ON ADVANCED INTELLIGENT SYSTEMS (SCIS-ISIS), 2020, : 91 - 94
- [6] Formal verification of embedded logic controller specification with computer deduction in temporal logic PRZEGLAD ELEKTROTECHNICZNY, 2011, 87 (12A): : 47 - 50
- [7] Requirements engineering and verification using specification animation 13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 302 - 305
- [8] Specification and verification of media constraints using UPPAAL DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, 1998, : 261 - 277
- [10] FORMAL HARDWARE SPECIFICATION AND VERIFICATION USING PROLOG MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5): : 163 - 170