|
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 | Concolic testing of the multi-sector read operation for flash storage platform software |
Kim, Moonzoo |
2011 |
24 | 3 |
p. 355-374 |
artikel |
|
| 2 | Editorial |
Woodcock, Jim |
2012 |
24 | 3 |
p. 303 |
artikel |
|
| 3 | John McCarthy (1927–2011) |
Jones, Cliff B. |
2012 |
24 | 3 |
p. 305-306 |
artikel |
|
| 4 | Temporal-logic property preservation under Z refinement |
Derrick, John |
2011 |
24 | 3 |
p. 393-416 |
artikel |
|
| 5 | Testing interruptions in reactive systems |
Andrade, Wilkerson L. |
2011 |
24 | 3 |
p. 331-353 |
artikel |
|
| 6 | Using fold-in and fold-out in the architecture recovery of software systems |
Risi, Michele |
2011 |
24 | 3 |
p. 307-330 |
artikel |
|
| 7 | Verifying compiled file system code |
Mühlberg, Jan Tobias |
2011 |
24 | 3 |
p. 375-391 |
artikel |
7 gevonden resultaten