Publikationen

Zeige Ergebnisse 1 bis 2 von 2

In: Digitale Transformation von Dienstleistungen im Gesundheitswesen V. Kapitel 21 Seiten 413-435 ISBN 978-3-658-23986-2 Springer Nature 8/2019.

Zur Publikation

In: Formal Modeling and Verification of Cyber Physical Systems. Seiten 224-248 ISBN 978-3-658-09993-0 Springer Heidelberg 9/2015.

Zur Publikation

Jahr

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence