On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL
Research article (2017 IEEE International Conference on Information Reuse and Integration (IRI), 2017) · cited 12× · AI/ML