Crossmark

Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions

Crossref DOI link: https://doi.org/10.1007/s00766-017-0286-6

Published Online: 2017-12-30

Published Print: 2019-06

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

Authors

Westman, Jonas https://orcid.org/0000-0002-9655-7326
Nyberg, Mattias
Funding

Funding for this research was provided by:

VINNOVA (2011-04446)
License Information

Text and Data Mining valid from 2017-12-30
More Information

Article History

Received: 22 September 2016

Accepted: 18 December 2017

First Online: 30 December 2017