( en | de | ru )

 

Disambiguierung von "Bon, Philippe"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules.

, , , , und . RSSRail, Volume 11495 von Lecture Notes in Computer Science, Seite 173-190. Springer, (2019)

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.

Fritz Bon

Markus Bon

Sandra Mirjam Bon

Ivan Bon a

Hae-Bon Chung

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation., , , , und . RSSRail, Volume 11495 von Lecture Notes in Computer Science, Seite 23-40. Springer, (2019)A Modular Design Framework to Assess Intelligent Trains., und . ISoLA (3), Volume 12478 von Lecture Notes in Computer Science, Seite 404-414. Springer, (2020)Formal Approach to Dynamic SoS Design., , , und . ENASE, Seite 377-384. SciTePress, (2019)Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System., , und . CRiSIS, Volume 14529 von Lecture Notes in Computer Science, Seite 85-99. Springer, (2023)An MDA Approach for the Specification of Relay-Based Diagrams., , , , und . MEDI Workshops, Volume 929 von Communications in Computer and Information Science, Seite 17-29. Springer, (2018)Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model., , , , und . ER, Volume 11788 von Lecture Notes in Computer Science, Seite 338-351. Springer, (2019)A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules., , , , und . RSSRail, Volume 11495 von Lecture Notes in Computer Science, Seite 173-190. Springer, (2019)Event-B Decomposition Analysis for Systems Behavior Modeling., , , , , und . ICSOFT, Seite 278-286. SciTePress, (2019)CSP specification and verification of relay-based railway interlocking systems., , , , und . SAC, Seite 97-106. ACM, (2022)FERROMOBILE and Security for Low Moment of Traffic Level Crossing., , , , und . CRiSIS, Volume 14529 von Lecture Notes in Computer Science, Seite 35-50. Springer, (2023)