|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Automated generation of formal safety conditions from railway interlocking tables |
Haxthausen, Anne E. |
2013 |
16 | 6 |
p. 713-726 |
artikel |
|
| 2 | Formal methods for railway control systems |
Fantechi, Alessandro |
2014 |
16 | 6 |
p. 643-646 |
artikel |
|
| 3 | From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions |
Ferrari, Alessio |
2014 |
16 | 6 |
p. 647-667 |
artikel |
|
| 4 | Model checking evaluation of airplane landing trajectories |
Quer, Stefano |
2013 |
16 | 6 |
p. 753-773 |
artikel |
|
| 5 | Survey on test data generation tools |
Galler, Stefan J. |
2013 |
16 | 6 |
p. 727-751 |
artikel |
|
| 6 | Techniques for modelling and verifying railway interlockings |
James, Phillip |
2014 |
16 | 6 |
p. 685-711 |
artikel |
|
| 7 | Towards Model-Driven V&V assessment of railway control systems |
Marrone, Stefano |
2014 |
16 | 6 |
p. 669-683 |
artikel |
7 gevonden resultaten