( en | de | ru )

 

Disambiguierung von "Leucker, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE.

, , , , , und . Software Engineering & Management, Volume P-239 von LNI, Seite 243-248. GI, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Martin Leucker

Thorsten Martin Leucker

Roland Leucker

Hermann Josef Leucker

Jean-Joseph Leucker

 

Weitere Publikationen von Autoren mit dem selben Namen

Preface to special issue: ICTAC 2015., , , und . Math. Struct. Comput. Sci., 29 (1): 1-2 (2019)A Survey of Model Learning Techniques for Recurrent Neural Networks., , und . A Journey from Process Algebra via Timed Automata to Model Learning, Volume 13560 von Lecture Notes in Computer Science, Seite 81-97. Springer, (2022)Anticipatory Recurrent Monitoring with Uncertainty and Assumptions., , , und . RV, Volume 13498 von Lecture Notes in Computer Science, Seite 181-199. Springer, (2022)Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes., , , und . TASE, Volume 13299 von Lecture Notes in Computer Science, Seite 197-204. Springer, (2022)Inference of Timed Transition Systems., , und . INFINITY, Volume 138 von Electronic Notes in Theoretical Computer Science, Seite 87-99. Elsevier, (2004)Analysis of recurrent neural networks via property-directed verification of surrogate models., , , , , , , , , und . Int. J. Softw. Tools Technol. Transf., 25 (3): 341-354 (Juni 2023)Erratum to "Frequency Linear-time Temporal Logic"., , und . CoRR, (2020)Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions., , , , , , , , , und 1 andere Autor(en). IEEE Access, (2022)A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device., , , , und . HEDA@Petri Nets, Volume 3264 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab., , , und . FMDT@FM, Volume 3507 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)