Abderrahim Ait Wakrime

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Simon Collart Dutilleul

> Home > Persons > Abderrahim Ait Wakrime

Publications

2019
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/BoudiWDH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/BoudiWDH19
Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua:
Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control. ENASE 2019: 350-358
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/BougachaWKAD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/BougachaWKAD19
Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul:
A Model-based Approach for the Modeling and the Verification of Railway Signaling System. ENASE 2019: 367-376
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/IdaniLWAD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/IdaniLWAD19
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul:
Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. FMICS 2019: 93-109
2018
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/BoudiWDH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/BoudiWDH18
Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua:
Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. MEDI Workshops 2018: 50-62
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/WakrimeADLI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/WakrimeADLI18
Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani:
Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. MEDI 2018: 321-330

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.