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)A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument.. FLAP, 5 (7): 1473-1496 (2018)On the Interpretation of Assurance Case Arguments.. JSAI-isAI Workshops, Volume 10091 von Lecture Notes in Computer Science, Seite 331-347. (2015)The enhanced HDM system for specification and verification., und . ACM SIGSOFT Softw. Eng. Notes, 10 (4): 41-43 (1985)Trustworthy Self-Integrating Systems.. ICDCIT, Volume 9581 von Lecture Notes in Computer Science, Seite 19-29. Springer, (2016)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)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)Mechanized Support for Assurance Case Argumentation.. JSAI-isAI Workshops, Volume 8417 von Lecture Notes in Computer Science, Seite 304-318. Springer, (2013)