Login / Signup
Nathalie Ferkane
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Cooperative
Formal Models
Modeling Method
Petri Net
Top Venues
RSSRail
</>
Publications
</>
Naïm Aber
,
Benjamin Blanc
,
Nathalie Ferkane
,
Mohand Meziani
,
Julien Ordioni
RBS2HLL - A Formal Modeling of Relay-Based Interlocking.
RSSRail
(2019)