|
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 | Credo Methodology |
Grabe, Immo |
2010 |
266 | C |
p. 33-48 16 p. |
artikel |
|
| 2 | Debugging as a Science, that too, when your Program is Changing |
Roychoudhury, Abhik |
2010 |
266 | C |
p. 3-15 13 p. |
artikel |
|
| 3 | Design and Verification of a Trustable Medical System |
Xiong, Xijiao |
2010 |
266 | C |
p. 77-92 16 p. |
artikel |
|
| 4 | Fade to Grey: Tuning Static Program Analysis |
Fehnker, Ansgar |
2010 |
266 | C |
p. 17-32 16 p. |
artikel |
|
| 5 | Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures |
Heinen, Jonathan |
2010 |
266 | C |
p. 93-107 15 p. |
artikel |
|
| 6 | Preface |
Broch Johnsen, Einar |
2010 |
266 | C |
p. 1-2 2 p. |
artikel |
|
| 7 | Resource Modeling for Timed Creol Models |
Schlatte, Rudolf |
2010 |
266 | C |
p. 63-75 13 p. |
artikel |
|
| 8 | Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion |
Pham, Tuan-Hung |
2010 |
266 | C |
p. 49-61 13 p. |
artikel |
8 gevonden resultaten