Formal verification of SysML diagram using case studies of real-time system
Crossref DOI link: https://doi.org/10.1007/s11334-018-0318-5
Published Online: 2018-12-22
Published Print: 2018-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ali, Sajjad
Text and Data Mining valid from 2018-12-01
Article History
Received: 3 August 2017
Accepted: 6 December 2018
First Online: 22 December 2018