Thomas Naulin

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.
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.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018


  Loading...