A methodology for verifying SysML requirements using activity diagrams
Crossref DOI link: https://doi.org/10.1007/s11334-016-0281-y
Published Online: 2016-06-04
Published Print: 2017-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Rahim, Messaoud
Hammad, Ahmed
Ioualalen, Malika
License valid from 2016-06-04