Crossmark

Modeling foundations for executable model-based testing of self-healing cyber-physical systems

Crossref DOI link: https://doi.org/10.1007/s10270-018-00703-y

Published Online: 2018-11-27

Published Print: 2019-10

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

Authors

Ma, Tao

Ali, Shaukat

Yue, Tao
Funding

Funding for this research was provided by:

H2020 European Institute of Innovation and Technology (645463)

Norges Forskningsr?d (239063, 240013/O70, 240024/F20)
License Information

Text and Data Mining valid from 2018-11-27
More Information

Article History

Received: 19 January 2018

Revised: 20 October 2018

Accepted: 24 October 2018

First Online: 27 November 2018