|
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 | Analyzing a wind turbine system: From simulation to formal verification |
Seceleanu, Cristina |
2017 |
133 | P2 |
p. 216-242 27 p. |
artikel |
|
| 2 | Dynamic state machines for modelling railway control systems |
Benerecetti, M. |
2017 |
133 | P2 |
p. 116-153 38 p. |
artikel |
|
| 3 | Editorial Board |
2017 |
133 | P2 |
p. IFC- 1 p. |
artikel |
||
| 4 | FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems |
Bukhari, Syed Ali Asadullah |
2017 |
133 | P2 |
p. 154-174 21 p. |
artikel |
|
| 5 | Formal modelling and verification of interlocking systems featuring sequential release |
Vu, Linh Hong |
2017 |
133 | P2 |
p. 91-115 25 p. |
artikel |
|
| 6 | Formal Techniques for Safety-Critical Systems (FTSCS 2014) |
Artho, Cyrille |
2017 |
133 | P2 |
p. 89-90 2 p. |
artikel |
|
| 7 | On the verification of SCOOP programs |
Caltais, Georgiana |
2017 |
133 | P2 |
p. 194-215 22 p. |
artikel |
|
| 8 | Parallelism analysis: Precise WCET values for complex multi-core systems |
Kelter, Timon |
2017 |
133 | P2 |
p. 175-193 19 p. |
artikel |
8 gevonden resultaten