Contract-based modeling and verification of timed safety requirements within SysML
Crossref DOI link: https://doi.org/10.1007/s10270-015-0481-1
Published Online: 2015-07-07
Published Print: 2017-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Dragomir, Iulia
Ober, Iulian
Percebois, Christian
Text and Data Mining valid from 2015-07-07