Model Checking of UML Activity Diagrams in Logic Controllers Design.

Iwona Grobelna, Michal Grobelny, Marian Adamski

Browse the full DEPCoS paper archive.