• Runtime Verification of Autono...

Treffer: Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service

Title:
Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service
Authors:
Kristensen, M.H., Bonizzi, A., Gomes, C., Hansen, S.T., Isasa, C., Iven, H., Kamburjan, E., Larsen, P.G., Leucker, M., Talasila, P., Tang, V.T., Tonetta, S., Vosteen, L.B., Wright, T.
Source:
2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) ACSOS-C Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), 2024 IEEE International Conference on. :121-127 Sep, 2024
Relation:
2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)
Database:
IEEE Xplore Digital Library