( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Composing Safe Systems.

. FACS, том 7253 из Lecture Notes in Computer Science, стр. 3-11. Springer, (2011)

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.

Bernd Johne

Gerhard Johnson

Jan Hendrik Johns

Aimee Shereen Johnson

Wilfred John

 

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

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)Defeaters and Eliminative Argumentation in Assurance 2.0., , и . CoRR, (2024)Model-Centered Assurance for Autonomous Systems., , и . SAFECOMP, том 12234 из Lecture Notes in Computer Science, стр. 228-243. Springer, (2020)Technology and Consciousness., и . CoRR, (2022)The enhanced HDM system for specification and verification., и . ACM SIGSOFT Softw. Eng. Notes, 10 (4): 41-43 (1985)Composing Safe Systems.. FACS, том 7253 из Lecture Notes in Computer Science, стр. 3-11. Springer, (2011)Trustworthy Self-Integrating Systems.. ICDCIT, том 9581 из Lecture Notes in Computer Science, стр. 19-29. Springer, (2016)Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions., и . AAAI Spring Symposium: Towards Conscious AI Systems, том 2287 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis., , , , , , , , и . SAFECOMP (Workshops), том 14989 из Lecture Notes in Computer Science, стр. 173-187. Springer, (2024)