( en | de | ru )

 

Disambiguation of "Bon, Philippe"

Author of the publication

copydeleteadd this publication to your clipboard
A Colored Petri Net Model for Control Problem of Border Crossing Under Constraints.

, , , and . ICRA, page 11548-11554. IEEE, (2022)

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

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)A Modular Design Framework to Assess Intelligent Trains., and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 404-414. Springer, (2020)Formal Approach to Dynamic SoS Design., , , and . ENASE, page 377-384. SciTePress, (2019)Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System., , and . CRiSIS, volume 14529 of Lecture Notes in Computer Science, page 85-99. Springer, (2023)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)Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model., , , , and . ER, volume 11788 of Lecture Notes in Computer Science, page 338-351. Springer, (2019)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)CSP specification and verification of relay-based railway interlocking systems., , , , and . SAC, page 97-106. ACM, (2022)Event-B Decomposition Analysis for Systems Behavior Modeling., , , , , and . ICSOFT, page 278-286. SciTePress, (2019)FERROMOBILE and Security for Low Moment of Traffic Level Crossing., , , , and . CRiSIS, volume 14529 of Lecture Notes in Computer Science, page 35-50. Springer, (2023)