共 50 条
- [23] Abstractions of Random Finite-State Machines Formal Methods in System Design, 2001, 18 : 171 - 207
- [24] Training Linear Finite-State Machines ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 33, NEURIPS 2020, 2020, 33
- [25] Product Construction of Finite-State Machines WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS 1 AND 2, 2010, : 141 - 143
- [27] Formal Modeling of RESTful Systems Using Finite-State Machines WEB ENGINEERING, ICWE 2011, 2011, 6757 : 346 - 360
- [28] Logic Locking of Finite-State Machines Using Transition Obfuscation PROCEEDINGS OF THE 2022 IFIP/IEEE 30TH INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2022,