共 50 条
- [32] Mealy Verifier: An Automated, Exhaustive, and Explainable Methodology for Analyzing State Machines in Protocol Implementations 19TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY, ARES 2024, 2024,
- [33] Deriving Event-B Models from Mealy Machines: Application to an Auction System MODEL AND DATA ENGINEERING, MEDI 2015, 2015, 9344 : 77 - 88
- [34] RETRACTED: Ready Mealy, Moore & Markov Mathematical Modeling Machines for Big Data (Retracted Article) FUTURE INTELLIGENT VEHICULAR TECHNOLOGIES, FUTURE 5V 2016, 2017, 185 : 205 - 214
- [35] Minimization of incompletely specified mealy finite-state machines by merging two internal states Journal of Computer and Systems Sciences International, 2013, 52 : 400 - 409
- [37] MMLT/ik: Efficiently Learning Mealy Machines with Local Timers by Using Imprecise Symbol Filters QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST-FORMATS 2024, 2024, 14996 : 143 - 159
- [39] Minimization of mealy finite-state machines by using the values of the output variables for state assignment Journal of Computer and Systems Sciences International, 2017, 56 : 96 - 104