( en | de | ru )

 

Disambiguation of "Rushby, John"

Author of the publication

copydeleteadd this publication to your clipboard
Disappearing formal methods.

. HASE, page 95-96. IEEE Computer Society, (2000)

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.

Hans John

Erik Østvand Johnsen

Hans John

Bincy Anu John

Isabelle 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)Mechanized Support for Assurance Case Argumentation.. JSAI-isAI Workshops, volume 8417 of Lecture Notes in Computer Science, page 304-318. Springer, (2013)Using model checking to help discover mode confusions and other automation surprises.. Reliab. Eng. Syst. Saf., 75 (2): 167-177 (2002)Semantic Analysis of Assurance Cases using s(CASP)., , , , , , , , and . ICLP Workshops, volume 3437 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Composing Safe Systems.. FACS, volume 7253 of Lecture Notes in Computer Science, page 3-11. Springer, (2011)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)On Computational Mechanisms for Shared Intentionality, and Speculation on Rationality and Consciousness.. CoRR, (2023)Assessing Confidence with Assurance 2.0., and . CoRR, (2022)