Login / Signup
Nader Nayeri
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 3
Top Topics
Parameter Estimation
Formal Model
Real Life
Computational Model
Top Venues
Int. J. Softw. Tools Technol. Transf.
RSSRail
ABZ
</>
Publications
</>
Michael Leuschel
,
Nader Nayeri
Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System.
RSSRail
(2023)
Dominik Hansen
,
Michael Leuschel
,
Philipp Körner
,
Sebastian Krings
,
Thomas Naulin
,
Nader Nayeri
,
David Schneider
,
Frank Skowron
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.
Int. J. Softw. Tools Technol. Transf.
22 (3) (2020)
Dominik Hansen
,
Michael Leuschel
,
David Schneider
,
Sebastian Krings
,
Philipp Körner
,
Thomas Naulin
,
Nader Nayeri
,
Frank Skowron
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.
ABZ
(2018)