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

Disappearing formal methods.. HASE, Seite 95-96. IEEE Computer Society, (2000)On the Interpretation of Assurance Case Arguments.. JSAI-isAI Workshops, Volume 10091 von Lecture Notes in Computer Science, Seite 331-347. (2015)A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument.. FLAP, 5 (7): 1473-1496 (2018)The enhanced HDM system for specification and verification., und . ACM SIGSOFT Softw. Eng. Notes, 10 (4): 41-43 (1985)Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions., und . AAAI Spring Symposium: Towards Conscious AI Systems, Volume 2287 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Composing Safe Systems.. FACS, Volume 7253 von Lecture Notes in Computer Science, Seite 3-11. Springer, (2011)Evaluating the Assessment of Software Fault-Freeness., , und . CoRR, (2014)Trustworthy Self-Integrating Systems.. ICDCIT, Volume 9581 von Lecture Notes in Computer Science, Seite 19-29. Springer, (2016)Assurance and Assurance Cases.. Dependable Software Systems Engineering, Volume 50 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)Using model checking to help discover mode confusions and other automation surprises.. Rel. Eng. & Sys. Safety, 75 (2): 167-177 (2002)