| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features
|
Arcaini, Paolo
|
|
|
26 |
3 |
p. 379-401
|
artikel
|
| 2 |
An automotive case study
|
Raschke, Alexander
|
|
|
26 |
3 |
p. 327-330
|
artikel
|
| 3 |
An Event-B model of an automotive adaptive exterior light system
|
Mammar, Amel
|
|
|
26 |
3 |
p. 331-346
|
artikel
|
| 4 |
A verified low-level implementation and visualization of the adaptive exterior light and speed control system
|
Krings, Sebastian
|
|
|
26 |
3 |
p. 403-419
|
artikel
|
| 5 |
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense
|
Huang, Zixin
|
|
|
26 |
3 |
p. 249-268
|
artikel
|
| 6 |
Modeling of a speed control system using Event-B
|
Mammar, Amel
|
|
|
26 |
3 |
p. 347-363
|
artikel
|
| 7 |
Rance Cleaveland: a life for formal methods
|
Steffen, Bernhard
|
|
|
26 |
3 |
p. 247-248
|
artikel
|
| 8 |
State of the CArt: evaluating covering array generators at scale
|
Leithner, Manuel
|
|
|
26 |
3 |
p. 301-326
|
artikel
|
| 9 |
Strong Simple Policies for POMDPs
|
Winterer, Leonore
|
|
|
26 |
3 |
p. 269-299
|
artikel
|
| 10 |
Validating multiple variants of an automotive light system with Alloy 6
|
Cunha, Alcino
|
|
|
26 |
3 |
p. 365-377
|
artikel
|
Tijdschrift beschrijving