( en | de | ru )

 

Disambiguierung von "Rushby, John"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Semantic Analysis of Assurance Cases using s(CASP).

, , , , , , , , und . ICLP Workshops, Volume 3437 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)

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.

Walter Johne

Gerhard John

Hans-Heino John

Willi John

Fritz John

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Interpretation of Assurance Case Arguments.. JSAI-isAI Workshops, Volume 10091 von Lecture Notes in Computer Science, Seite 331-347. (2015)Disappearing formal methods.. HASE, Seite 95-96. IEEE Computer Society, (2000)Defeaters and Eliminative Argumentation in Assurance 2.0., , und . CoRR, (2024)The enhanced HDM system for specification and verification., und . ACM SIGSOFT Softw. Eng. Notes, 10 (4): 41-43 (1985)Technology and Consciousness., und . CoRR, (2022)Model-Centered Assurance for Autonomous Systems., , und . SAFECOMP, Volume 12234 von Lecture Notes in Computer Science, Seite 228-243. Springer, (2020)Composing Safe Systems.. FACS, Volume 7253 von Lecture Notes in Computer Science, Seite 3-11. Springer, (2011)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)Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis., , , , , , , , und . SAFECOMP (Workshops), Volume 14989 von Lecture Notes in Computer Science, Seite 173-187. Springer, (2024)