Nader Nayeri | Sebastian Krings /authors/nader-nayeri/ Nader Nayeri Wowchemy (https://wowchemy.com)en-usTue, 31 Dec 2019 00:00:00 +0000 /media/icon_hua2ec155b4296a9c9791d015323e16eb5_11927_512x512_fill_lanczos_center_3.png Nader Nayeri /authors/nader-nayeri/ Validation and Real-Life Demonstration of ETCS Hybrid Level 3 Principles Using a Formal B Model /publication/hansen-etcs-case-study-journal/ Tue, 31 Dec 2019 00:00:00 +0000 /publication/hansen-etcs-case-study-journal/ Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains /publication/hansen-etcs-case-study-abz18/ Wed, 14 Mar 2018 00:00:00 +0000 /publication/hansen-etcs-case-study-abz18/