|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard |
Mammar, Amel |
|
22 | 3 |
p. 333-347 |
artikel |
|
| 2 | Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B |
Dghaym, Dana |
|
22 | 3 |
p. 297-313 |
artikel |
|
| 3 | Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3 |
Butler, Michael |
|
22 | 3 |
p. 249-255 |
artikel |
|
| 4 | Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach |
Tueno Fotso, Steve Jeffrey |
|
22 | 3 |
p. 349-363 |
artikel |
|
| 5 | The ABZ-2018 case study with Event-B |
Abrial, Jean-Raymond |
|
22 | 3 |
p. 257-264 |
artikel |
|
| 6 | Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum |
Cunha, Alcino |
|
22 | 3 |
p. 281-296 |
artikel |
|
| 7 | Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model |
Hansen, Dominik |
|
22 | 3 |
p. 315-332 |
artikel |
|
| 8 | Validation of the Hybrid ERTMS/ETCS Level 3 using Spin |
Arcaini, Paolo |
|
22 | 3 |
p. 265-279 |
artikel |
8 gevonden resultaten