![](/img/cover-not-exists.png)
A method for testing and validating executable statechart models
Mens, Tom, Decan, Alexandre, Spanoudakis, Nikolaos I.Language:
english
Journal:
Software & Systems Modeling
DOI:
10.1007/s10270-018-0676-3
Date:
May, 2018
File:
PDF, 4.12 MB
english, 2018