( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Semantic Analysis of Assurance Cases using s(CASP).

, , , , , , , , и . ICLP Workshops, том 3437 из 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.

Roswitha John

Shincy John

Aaron Michael Johnson

Jinu Mulamoottil John

Jasmine Elizabeth Pearl John

 

Другие публикации лиц с тем же именем

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, том 10091 из Lecture Notes in Computer Science, стр. 331-347. (2015)Disappearing formal methods.. HASE, стр. 95-96. IEEE Computer Society, (2000)Mechanized Support for Assurance Case Argumentation.. JSAI-isAI Workshops, том 8417 из Lecture Notes in Computer Science, стр. 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)., , , , , , , , и . ICLP Workshops, том 3437 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Composing Safe Systems.. FACS, том 7253 из Lecture Notes in Computer Science, стр. 3-11. Springer, (2011)Assurance and Assurance Cases.. Dependable Software Systems Engineering, том 50 из 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., и . CoRR, (2022)