|
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 | Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system |
Su, Wen |
2015 |
19 | 2 |
p. 141-166 |
artikel |
|
| 2 | Environment-driven reachability for timed systems |
Teodorov, Ciprian |
2015 |
19 | 2 |
p. 229-245 |
artikel |
|
| 3 | Modeling a landing gear system in Event-B |
Mammar, Amel |
2015 |
19 | 2 |
p. 167-186 |
artikel |
|
| 4 | Rigorous development process of a safety-critical system: from ASM models to Java code |
Arcaini, Paolo |
2015 |
19 | 2 |
p. 247-269 |
artikel |
|
| 5 | The landing gear case study: challenges and experiments |
Boniol, Frédéric |
2016 |
19 | 2 |
p. 133-140 |
artikel |
|
| 6 | The landing gear system in multi-machine Hybrid Event-B |
Banach, Richard |
2015 |
19 | 2 |
p. 205-228 |
artikel |
|
| 7 | Validation of the ABZ landing gear system using ProB |
Ladenberger, Lukas |
2015 |
19 | 2 |
p. 187-203 |
artikel |
7 gevonden resultaten