| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
DFT modeling approach for operational risk assessment of railway infrastructure
|
Weik, Norman
|
|
|
24 |
3 |
p. 331-350
|
artikel
|
| 2 |
DivSIM , an interactive simulator for LLVM bitcode
|
Ročkai, Petr
|
|
|
24 |
3 |
p. 493-510
|
artikel
|
| 3 |
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns
|
Kouskoulas, Yanni
|
|
|
24 |
3 |
p. 371-394
|
artikel
|
| 4 |
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods
|
Basile, Davide
|
|
|
24 |
3 |
p. 351-370
|
artikel
|
| 5 |
Formal methods and tools for industrial critical systems
|
ter Beek, Maurice H.
|
|
|
24 |
3 |
p. 325-330
|
artikel
|
| 6 |
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture
|
Binder, Benjamin
|
|
|
24 |
3 |
p. 415-440
|
artikel
|
| 7 |
Formal verification of OIL component specifications using mCRL2
|
Bunte, Olav
|
|
|
24 |
3 |
p. 441-472
|
artikel
|
| 8 |
Temporal-logic query checking over finite data streams
|
Huang, Samuel
|
|
|
24 |
3 |
p. 473-492
|
artikel
|
| 9 |
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach
|
Gu, Rong
|
|
|
24 |
3 |
p. 395-414
|
artikel
|
Tijdschrift beschrijving