MSc Thesis proposal from Bombardier
2015-10-22
Introduction of a formally proven safety violation check function
Contact at Lund University: Martin Höst
2015-10-22
Introduction of a formally proven safety violation check function
Contact at Lund University: Martin Höst