( en | de | ru )

 

Disambiguation of "Rushby, John"

Author of the publication

copydeleteadd this publication to your clipboard
Semantic Analysis of Assurance Cases using s(CASP).

, , , , , , , , and . ICLP Workshops, volume 3437 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gottfried Johne

Hannelore John

Gisela John

Ingeborg John

Karla John

 

Other publications of authors with the same name

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 of Lecture Notes in Computer Science, page 331-347. (2015)Disappearing formal methods.. HASE, page 95-96. IEEE Computer Society, (2000)Semantic Analysis of Assurance Cases using s(CASP)., , , , , , , , and . ICLP Workshops, volume 3437 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Using model checking to help discover mode confusions and other automation surprises.. Reliab. Eng. Syst. Saf., 75 (2): 167-177 (2002)Mechanized Support for Assurance Case Argumentation.. JSAI-isAI Workshops, volume 8417 of Lecture Notes in Computer Science, page 304-318. Springer, (2013)Assurance and Assurance Cases.. Dependable Software Systems Engineering, volume 50 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)Composing Safe Systems.. FACS, volume 7253 of Lecture Notes in Computer Science, page 3-11. Springer, (2011)Assessing Confidence with Assurance 2.0., and . CoRR, (2022)A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument.. CoRR, (2022)