380.256 PEOPLE
| People | Locations | Statistics |
|---|---|---|
| Seuring, Stefan |
| |
| Nor Azizi, S. |
| |
| Pato, Margarida Vaz |
| |
| Kölker, Katrin |
| |
| Huber, Oliver |
| |
| Király, Tamás |
| |
| Spengler, Thomas Stefan |
| |
| Al-Ammar, Essam A. |
| |
| Dargahi, Fatemeh |
| |
| Mota, Rui |
| |
| Mazalan, Nurul Aliah Amirah |
| |
| Macharis, Cathy | Brussels |
|
| Arunasari, Yova Tri |
| |
| Nunez, Alfredo | Delft |
|
| Bouhorma, Mohammed |
| |
| Bonato, Matteo |
| |
| Fitriani, Ira |
| |
| Autor Correspondente Coelho, Sílvia. |
| |
| Pond, Stephen |
| |
| Okwara, Ukoha Kalu |
| |
| Toufigh, Vahid |
| |
| Campisi, Tiziana | Enna |
|
| Ermolieva, Tatiana |
| |
| Sánchez-Cambronero, Santos |
| |
| Agzamov, Akhror |
|
Haxthausen, Anne Elisabeth
Technical University of Denmark
in Cooperation with on an Cooperation-Score of 37%
Topics
Publications (14/14 displayed)
- 2022Standardisation Considerations for Autonomous Train Controlcitations
- 2019Formal Verification of Railway Timetables - Using the UPPAAL Model Checkercitations
- 2018Safety Interlocking as a Distributed Mutual Exclusion Problemcitations
- 2017Formal modelling and verification of interlocking systems featuring sequential releasecitations
- 2015Formal Modeling and Verification of Interlocking Systems Featuring Sequential Releasecitations
- 2014A SysML Test Model and Test Suite for the ETCS Ceiling Speed Monitor
- 2014Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitorcitations
- 2014Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release
- 2014A Domain-Specific Language for Railway Interlocking Systems
- 2013Formal Development and Verification of Railway Control Systems
- 2013Formal Development and Verification of Railway Control Systems
- 2012The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems
- 2009A Domain-specific Framework for Automated Construction and Verification of Railway Control Systemscitations
- 2004"UML-ising" Formal Techniques
Places of action
| Organizations | Location | People |
|---|