共 50 条
- [41] VERDICT - A tool for model-based verification of real-time logic process controllers [J]. PROCEEDINGS OF THE JOINT WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS: FIFTH INTERNATIONAL WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS (WPDRTS) AND THE THIRD WORKSHOP ON OBJECT-ORIENTED REAL-TIME SYSTEMS (OORTS), 1997, : 217 - 221
- [42] A Logic-based Approach to Web Services Composition and Verification [J]. 2009 WORLD CONFERENCE ON SERVICES PART, 2009, : 103 - 110
- [43] Process mining and verification of properties: An approach based on temporal logic [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2005: COOPIS, DOA, AND ODBASE, PT 1, PROCEEDINGS, 2005, 3760 : 130 - 147
- [44] A temporal logic approach to the specification of reconfigurable component-based systems [J]. ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, 2002, : 271 - 274
- [45] ALTERNATIVE APPROACH TO ASIC DESIGN METHODOLOGY BASED ON RECONFIGURABLE LOGIC DEVICES [J]. IEE PROCEEDINGS-G CIRCUITS DEVICES AND SYSTEMS, 1992, 139 (02): : 217 - 221
- [46] Performing unit testing based on testing as a service (TaaS) approach [J]. J. Harbin Inst. Technol., 2008, SUPPL. (207-212):
- [47] Distributed Reconfigurable B approach for the specification and verification of B-based distributed reconfigurable control systems [J]. ADVANCES IN MECHANICAL ENGINEERING, 2017, 9 (11):
- [48] Safety Verification of Neural-Network-Based Controllers: A Set Invariance Approach [J]. IEEE CONTROL SYSTEMS LETTERS, 2023, 7 : 3842 - 3847
- [49] An approach to choice of language for programmable logic controllers [J]. Pribory i Sistemy Upravleniya, 2001, (03): : 6 - 12
- [50] A logic-based approach to combinatorial testing with constraints [J]. TESTS AND PROOFS, 2008, 4966 : 66 - +