Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems
- Authors
- S. Ali
- Status
- Published
- Publication type
- Presentation
- Year of publication
- 2022
- Journal
- In 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
- Publisher
- LNCS
- Citation key
- 16809