( en | de | ru )

 

Disambiguierung von "Coudert, Sophie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hierarchical Heterogeneous Specifications.

, , und . WADT, Volume 1589 von Lecture Notes in Computer Science, Seite 107-121. Springer, (1998)

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)A UML-based Environment for System Design Space Exploration., , , , und . ICECS, Seite 1272-1275. IEEE, (2006)Formal Methods for Railway Disasters Prevention., , und . ITDRR, Volume 516 von IFIP Advances in Information and Communication Technology, Seite 161-176. Springer, (2017)A Reuse-Oriented Framework for Hierarchical Specifications., und . AMAST, Volume 1816 von Lecture Notes in Computer Science, Seite 438-453. Springer, (2000)Hierarchical Heterogeneous Specifications., , und . WADT, Volume 1589 von Lecture Notes in Computer Science, Seite 107-121. Springer, (1998)An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications., , und . FIW, Seite 131-146. IOS Press, (2005)Mutation of Formally Verified SysML Models., , , , und . MODELSWARD, Seite 31-42. SCITEPRESS, (2023)Abstract Application Modeling for System Design Space Exploration., , , , und . DSD, Seite 331-337. IEEE Computer Society, (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)