Login / Signup
Thomas Naulin
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 2
Top Topics
D Objects
Theoretical Models
Parameter Estimation
Neural Network Model
Top Venues
Int. J. Softw. Tools Technol. Transf.
ABZ
</>
Publications
</>
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)