 | 2010 |
|---|
| 7 |       | Ahmed Mekki,
Mohamed Ghazel,
Armand Toguyéni:
Patterns for Temporal Requirements Engineering - A Level Crossing Case Study.
ICINCO (1) 2010: 45-52 |
| 6 | | Mohamed Ghazel,
Ahmed Mekki:
Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems.
Software Engineering Research and Practice 2010: 605-611 |
| 2009 |
|---|
| 5 |  | Mohamed Ghazel,
Armand Toguyéni,
Pascal Yim:
State Observer for DES Under Partial Observation with Time Petri Nets.
Discrete Event Dynamic Systems 19(2): 137-165 (2009) |
| 4 | | Mohamed Ghazel:
Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment.
IEEE Transactions on Intelligent Transportation Systems 10(4): 668-677 (2009) |
| 2006 |
|---|
| 3 | | Mohamed Ghazel,
Armand Toguyéni,
Michel Bigand:
A semi-formal approach to build the functional graph of an automated production system for supervision purposes.
Int. J. Computer Integrated Manufacturing 19(3): 234-247 (2006) |
| 2004 |
|---|
| 2 | | Mohamed Ghazel,
Armand Toguyéni,
Michel Bigand:
An UML approach for the metamodelling of automated production systems for monitoring purpose.
Computers in Industry 55(3): 283-299 (2004) |
| 2003 |
|---|
| 1 | | Mohamed Ghazel,
Armand Toguyéni,
Michel Bigand:
UML modelling approach to build an information system for automated production systems.
ISPE CE 2003: 755-763 |
Data released under the ODC-BY 1.0 license — See also our legal information page