( en | de | ru )

 

Disambiguierung von "Coudert, Sophie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Methods for Railway Disasters Prevention.

, , und . ITDRR, Volume 516 von IFIP Advances in Information and Communication Technology, Seite 161-176. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Olivier Regnier-Coudert

Sophie Schweizer

Sophie Illch

Sophie Buchholz

Sophie Wichers

 

Weitere Publikationen von Autoren mit dem selben Namen

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