A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems |
| |
| Authors: | Zahid Farzana Tanveer Awais Kuo Matthew M Y Sinha Roopak |
| |
| Affiliation: | 1.School of Engineering, Computer and Mathematical Sciences, Auckland University of Technology, Auckland, 1010, New Zealand
; |
| |
| Abstract: | Journal of Intelligent Manufacturing - The requirements engineering of Industrial Cyber-Physical Systems is extremely challenging due to large system sizes, component heterogeneity, involvement of... |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
