21 July 2020
Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification
A 2-hour tutorial was given to an audience of 50 people from the railways. It was the first public presentation of the starter kit SK0 and the first manipulation from novice users. A first feedback was collected at this occasion and was used to prepare the second version of the SK0.