Crossmark

A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems

Crossref DOI link: https://doi.org/10.1007/s10845-021-01753-8

Published Online: 2021-04-01

Published Print: 2022-08

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

Authors

Zahid, Farzana https://orcid.org/0000-0002-9277-0787
Tanveer, Awais https://orcid.org/0000-0002-1315-1794
Kuo, Matthew M. Y. https://orcid.org/0000-0001-7269-5874
Sinha, Roopak https://orcid.org/0000-0001-9486-7833
License Information

Text and Data Mining valid from 2021-04-01

Version of Record valid from 2021-04-01
More Information

Article History

Received: 28 April 2020

Accepted: 24 February 2021

First Online: 1 April 2021