|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools |
Naujokat, Stefan |
2017 |
20 | 3 |
p. 327-354 |
artikel |
|
| 2 | Formal methods for transport systems |
Beek, Maurice H. ter |
2018 |
20 | 3 |
p. 237-241 |
artikel |
|
| 3 | Modelling and simulating a Thai railway signalling system using Coloured Petri Nets |
Vanit-Anunchai, Somsak |
2018 |
20 | 3 |
p. 243-262 |
artikel |
|
| 4 | Spatio-temporal model checking of vehicular movement in public transport systems |
Ciancia, Vincenzo |
2018 |
20 | 3 |
p. 289-311 |
artikel |
|
| 5 | To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking |
Cabodi, G. |
2017 |
20 | 3 |
p. 313-325 |
artikel |
|
| 6 | Towards formal methods diversity in railways: an experience report with seven frameworks |
Mazzanti, Franco |
2018 |
20 | 3 |
p. 263-288 |
artikel |
6 gevonden resultaten