nopeOct 4, 2022
Synthesis of state machine models
(2020) : Nafiseh Kahani and Mojtaba Bagherzadeh and James R. Cordy
DOI: https://doi.org/10.1145/3365438.3410936
#FSMs #MDD #MDE #SMT #SSE #labeled_transition_system #model_synthesis #state_space_exploration
#my_bibtex
Synthesis of state machine models | Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

ACM Conferences