共 50 条
- [33] Foundation Models for the Digital Twins Creation of Cyber-Physical Systems LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: APPLICATION AREAS, PT V, ISOLA 2024, 2025, 15223 : 9 - 26
- [34] A Survey on Extended Reality, Digital Twins, and Metaverse Applications in Power Systems IEEE INTERNET OF THINGS JOURNAL, 2024, 11 (21): : 34953 - 34977
- [40] Cloud Continuum Digital Twins: Architectures of Solution, Open Technical Challenges, and Lessons Learned LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SOFTWARE ENGINEERING METHODOLOGIES, PT IV, ISOLA 2024, 2025, 15222 : 44 - 59