A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP
Lima, Lucas, Tavares, Amaury, Nogueira, Sidney C.Volume:
197
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2020.102497
Date:
October, 2020
File:
PDF, 2.05 MB
2020