A CPN/B method transformation framework for railway safety rules formal validation
2017 · European Transport Research Review · 9 citations
https://doi.org/10.1007/s12544-017-0228-x
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
48
Papers
463
Citations
9
h-index
9
i10-index
Mohamed Haloua is an academic researcher from Mohammed V University. The author has contributed to research in topics: Microgrid Control and Optimization & Advanced Control Systems Optimization & Control Systems and Identification. The author has an h-index of 9, co-authored 41 publications.
ORCID: 0000-0003-0407-3920Click to start Chat