- Model Checking of UML Activity Diagrams in Logic Controllers Design
2014/01/01 by Iwona Grobelna, Michał Grobelny, Marian Adamski · 1 citation
Computer Science · Engineering · #Activity diagram #Algorithm #Applications of UML #Computer science #Formal Methods in Verification #Function block diagram #Logic gate #Model checking #Model-Driven Software Engineering Techniques #Programming language #Safety Systems Engineering in Autonomy #Software #Temporal logic #UML tool #Unified Modeling Language