Crossmark

A method for testing and validating executable statechart models

Crossref DOI link: https://doi.org/10.1007/s10270-018-0676-3

Published Online: 2018-05-03

Published Print: 2019-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Mens, Tom https://orcid.org/0000-0003-3636-5020
Decan, Alexandre

Spanoudakis, Nikolaos I. https://orcid.org/0000-0002-4957-9194
License Information

Text and Data Mining valid from 2018-05-03
More Information

Article History

Received: 29 August 2016

Accepted: 11 April 2018

First Online: 3 May 2018