Thomas Naulin

According to our database, Thomas Naulin authored at least 2 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.

Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron

Int. J. Softw. Tools Technol. Transf., 2020

2018

Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.

Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018