( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management.

, и . ITDRR, том 501 из IFIP Advances in Information and Communication Technology, стр. 61-76. Springer, (2016)

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.

Olivier Regnier-Coudert

Sophie Schweizer

Sophie Illch

Sophie Buchholz

Sophie Wichers

 

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

Execution trace analysis for a precise understanding of latency violations., , , и . Softw. Syst. Model., 22 (5): 1519-1541 (октября 2023)Towards Heterogeneous Formal Specification., , и . AMAST, том 1101 из Lecture Notes in Computer Science, стр. 458-472. Springer, (1996)Incremental and Formal Verification of SysML Models., , , , и . SN Comput. Sci., 5 (6): 714 (августа 2024)A UML-based Environment for System Design Space Exploration., , , , и . ICECS, стр. 1272-1275. IEEE, (2006)Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management., и . ITDRR, том 501 из IFIP Advances in Information and Communication Technology, стр. 61-76. Springer, (2016)W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures., , , и . MODELSWARD (Revised Selected Papers), том 1708 из Communications in Computer and Information Science, стр. 203-229. Springer, (2022)Proving the Safety of a Sliding Window Protocol with Event-B.. ABZ, том 12709 из Lecture Notes in Computer Science, стр. 50-65. Springer, (2021)An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications., , и . FIW, стр. 131-146. IOS Press, (2005)A Reuse-Oriented Framework for Hierarchical Specifications., и . AMAST, том 1816 из Lecture Notes in Computer Science, стр. 438-453. Springer, (2000)Formal Methods for Railway Disasters Prevention., , и . ITDRR, том 516 из IFIP Advances in Information and Communication Technology, стр. 161-176. Springer, (2017)