Publikationer pr. år
Publikationer pr. år
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
- 1 Konferencebidrag i proceedings
-
Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service
Kristensen, M. H., Bonizzi, A., Gomes, C., Hansen, S. T., Isasa Martin, C. I., Iven, H., Kamburjan, E., Larsen, P. G., Leucker, M., Talasila, P., Evans, V. T., Tonetta, S., Vosteen, L. B. & Wright, T. D., 2 dec. 2024, 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). IEEEPublikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Formidling