( en | de | ru )

 

Disambiguation of "Bon, Philippe"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Approach to Dynamic SoS Design.

, , , and . ENASE, page 377-384. SciTePress, (2019)

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. You can also use the button next to the name to display some publications already assigned to the person.

Fritz Bon

Markus Bon

Sandra Mirjam Bon

Ivan Bon a

Hae-Bon Chung

 

Other publications of authors with the same name

A Modular Design Framework to Assess Intelligent Trains., and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 404-414. Springer, (2020)Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation., , , , and . RSSRail, volume 11495 of Lecture Notes in Computer Science, page 23-40. Springer, (2019)Formal Approach to Dynamic SoS Design., , , and . ENASE, page 377-384. SciTePress, (2019)Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications., , , , and . CRiSIS, volume 13857 of Lecture Notes in Computer Science, page 153-168. Springer, (2022)Towards a Method for the Decomposition by Refinement in Event-B., , , , , and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 358-370. Springer, (2019)A railway norms application for small traffic railway lines autonomous vehicle., , and . ICCAD, page 1-6. IEEE, (2023)A Colored Petri Net Model for Control Problem of Border Crossing Under Constraints., , , and . ICRA, page 11548-11554. IEEE, (2022)Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems., , and . ICSOFT, page 287-297. SciTePress, (2019)An MDA Approach for the Specification of Relay-Based Diagrams., , , , and . MEDI Workshops, volume 929 of Communications in Computer and Information Science, page 17-29. Springer, (2018)A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules., , , , and . RSSRail, volume 11495 of Lecture Notes in Computer Science, page 173-190. Springer, (2019)