Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Support Environments for VDM.. VDM Europe, Volume 252 von Lecture Notes in Computer Science, Seite 110-117. Springer, (1987)Modeling Security Policy and the Effect for End-Users., und . HCI (27), Volume 8030 von Lecture Notes in Computer Science, Seite 256-265. Springer, (2013)Vision-based tracking and motion estimation for moving targets using small UAVs., , , und . ACC, IEEE, (2006)A Semantics for a Larch/Modula-3 Interface Language.. Larch, Seite 142-158. Springer, (1992)Forensic Readiness within the Maritime Sector., und . CyberSA, Seite 1-4. IEEE, (2019)Variable domain transformation for linear PAC analysis of mixed-signal systems., , und . ICCAD, Seite 887-894. IEEE Computer Society, (2007)Generating training events for building cyber-physical security skills., , und . Comput. J., 68 (5): 445-459 (2025)Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch., , und . DAC, Seite 440-443. IEEE, (2007)Larch: Languages and Tools for Formal Specification, , , , , und . Texts and Monographs in Computer Science Springer, (1993)A Formal Semantics for a DataFlow Machine - Using VDM.. VDM Europe, Volume 252 von Lecture Notes in Computer Science, Seite 331-355. Springer, (1987)