David Schneider | Sebastian Krings /authors/david-schneider/ David Schneider Wowchemy (https://wowchemy.com)en-usTue, 31 Dec 2019 00:00:00 +0000 /media/icon_hua2ec155b4296a9c9791d015323e16eb5_11927_512x512_fill_lanczos_center_3.png David Schneider /authors/david-schneider/ 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/ Translating Alloy and Extensions to Classical B /publication/krings-alloy-to-b-journal/ Thu, 19 Dec 2019 00:00:00 +0000 /publication/krings-alloy-to-b-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/