( en | de | ru )

 

Disambiguation of "Ghazel, Mohamed"

Author of the publication

copydeleteadd this publication to your clipboard
Codesign of an IoT Using a Metaheuristic IP.

, , , and . IINTEC, page 153-157. IEEE, (2018)

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 Halawa

Mohamed Mohamed Gibry

Mohamed Ali Mohamed

 

Other publications of authors with the same name

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)Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches., , and . Discret. Event Dyn. Syst., 31 (1): 59-102 (2021)Interval Weight-Based Abstraction for Neural Network Verification., , , and . SAFECOMP Workshops, volume 13415 of Lecture Notes in Computer Science, page 330-342. Springer, (2022)UML modelling approach to build an information system for automated production systems., , and . CE, page 755-763. A. A. Balkema Publishers, (2003)State Observer for DES Under Partial Observation with Time Petri Nets., , and . Discrete Event Dynamic Systems, 19 (2): 137-165 (2009)An UML approach for the metamodelling of automated production systems for monitoring purpose, , and . Computers in Industry, 55 (3): 283--300 (2004)Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques., and . Autom., (2024)Bayesian Network Modeling Applied on Railway Level Crossing Safety., , , , and . RSSRail, volume 10598 of Lecture Notes in Computer Science, page 116-130. Springer, (2017)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)