|
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 | A model-driven co-simulation environment for heterogeneous systems |
Bombino, Massimo |
2012 |
15 | 4 |
p. 363-374 |
artikel |
|
| 2 | An integrated framework for checking the behaviour of fUML models using CSP |
Abdelhalim, Islam |
2012 |
15 | 4 |
p. 375-396 |
artikel |
|
| 3 | Falsification of LTL safety properties in hybrid systems |
Plaku, Erion |
2012 |
15 | 4 |
p. 305-320 |
artikel |
|
| 4 | From tests to proofs |
Gupta, Ashutosh Kumar |
2012 |
15 | 4 |
p. 291-303 |
artikel |
|
| 5 | Model checking and abstract interpretation as building blocks of advanced program analysis techniques |
Kowalewski, Stefan |
2013 |
15 | 4 |
p. 287-289 |
artikel |
|
| 6 | Selected dynamic issues in software model checking |
Nguyen, Viet Yen |
2012 |
15 | 4 |
p. 337-362 |
artikel |
|
| 7 | Static analysis for concurrent programs with applications to data race detection |
Kahlon, Vineet |
2013 |
15 | 4 |
p. 321-336 |
artikel |
7 gevonden resultaten