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
Westman, Jonas http://orcid.org/0000-0002-9655-7326
Nyberg, Mattias
Funding for this research was provided by:
VINNOVA (2011-04446)
Text and Data Mining valid from 2017-12-30
Article History
Received: 22 September 2016
Accepted: 18 December 2017
First Online: 30 December 2017