共 25 条
[2]
Ali S., 2024, LNCS, V15223, P9
[3]
[Anonymous], 2024, LNCS, V15223, P47
[4]
[Anonymous], 2023, CEUR WORKSHOP P, V3507
[5]
David I., 2024, LNCS, V15223, P27
[6]
Degeler V., 2024, LNCS, V15223, P62
[7]
Fitzgerald J., 2024, The Engineering of Digital Twins
[8]
Fitzgerald J.S., LNCS, V13704, P3
[9]
Engineering of Digital Twins for Cyber-Physical Systems
[J].
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TOOLS AND TRENDS, ISOLA 2020, PT IV,
2021, 12479
:49-53