( en | de | ru )

 

Disambiguation of "Ghazel, Mohamed"

Author of the publication

copydeleteadd this publication to your clipboard
Rear-End Collision Risk Analysis for Autonomous Driving.

, , , , , and . SAFECOMP Workshops, volume 14182 of Lecture Notes in Computer Science, page 271-282. Springer, (2023)

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.

Mohsen Ghazel

Mohamed Mohamed

Mohamed Mohamed Gibry

Mohamed Mohamed Halawa

Mohamed Suliman Mohamed

 

Other publications of authors with the same name

Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches., , and . Discret. Event Dyn. Syst., 31 (1): 59-102 (2021)Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design., and . SoSE, page 1-6. IEEE, (2007)Patterns for Temporal Requirements Engineering - A Level Crossing Case Study., , and . ICINCO (1), page 45-52. INSTICC Press, (2010)Timed Specification Patterns for System Validation: A Railway Case Study., , and . ICINCO (Selected Papers), volume 89 of Lecture Notes in Electrical Engineering, page 121-134. (2010)Bayesian Network Modeling Applied on Railway Level Crossing Safety., , , , and . RSSRail, volume 10598 of Lecture Notes in Computer Science, page 116-130. Springer, (2017)OF-PENDA: A Software Tool for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets., , and . ADECS @ Petri Nets, volume 1161 of CEUR Workshop Proceedings, page 20-35. CEUR-WS.org, (2014)Rear-End Collision Risk Analysis for Autonomous Driving., , , , , and . SAFECOMP Workshops, volume 14182 of Lecture Notes in Computer Science, page 271-282. Springer, (2023)An UML approach for the metamodelling of automated production systems for monitoring purpose, , and . Computers in Industry, 55 (3): 283--300 (2004)State Observer for DES Under Partial Observation with Time Petri Nets., , and . Discrete Event Dynamic Systems, 19 (2): 137-165 (2009)Interval Weight-Based Abstraction for Neural Network Verification., , , and . SAFECOMP Workshops, volume 13415 of Lecture Notes in Computer Science, page 330-342. Springer, (2022)