From post

Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE.

, , , , , и . Software Engineering & Management, том P-239 из LNI, стр. 243-248. GI, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Empowering Multilevel DSMLs with Integrated Runtime Verification., , , , и . CoRR, (2020)Runtime Monitoring with Union-Find Structures., , , , и . TACAS, том 9636 из Lecture Notes in Computer Science, стр. 868-884. Springer, (2016)Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE., , , , , и . Software Engineering & Management, том P-239 из LNI, стр. 243-248. GI, (2015)Runtime verification of real-time event streams under non-synchronized arrival., , , , и . Softw. Qual. J., 28 (2): 745-787 (2020)Efficient implementation of stream transformations.. University of Lübeck, Germany, (2024)Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse.. University of Lübeck, Germany, (2016)TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems., , , и . ICTAC, том 14446 из Lecture Notes in Computer Science, стр. 388-398. Springer, (2023)Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing., , , , , и . RV, том 11237 из Lecture Notes in Computer Science, стр. 43-63. Springer, (2018)TeSSLa - An Ecosystem for Runtime Verification., , , , , и . RV, том 13498 из Lecture Notes in Computer Science, стр. 314-324. Springer, (2022)Test und Fehlersuche in komplexen Autonomen Systemen., , , , , , , и . Echtzeit, стр. 33-42. Springer Vieweg, (2019)