|
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 | CenUMs – concurrency enhanced usage models for statistical testing of complex systems with concurrent streams of use |
Homm, Daniel |
2016 |
132 | P2 |
p. 173-189 17 p. |
artikel |
|
| 2 | Editorial Board |
2016 |
132 | P2 |
p. IFC- 1 p. |
artikel |
||
| 3 | Fast as a shadow, expressive as a tree: Optimized memory monitoring for C |
Jakobsson, Arvid |
2016 |
132 | P2 |
p. 226-246 21 p. |
artikel |
|
| 4 | Model-based testing for building reliable realtime interactive music systems |
Poncelet, Clement |
2016 |
132 | P2 |
p. 143-172 30 p. |
artikel |
|
| 5 | Special issue on Software Verification and Testing (SAC-SVT'15) |
Salaün, Gwen |
2016 |
132 | P2 |
p. 141-142 2 p. |
artikel |
|
| 6 | Symmetry reduction for time Petri net state classes |
Bourdil, Pierre-Alain |
2016 |
132 | P2 |
p. 209-225 17 p. |
artikel |
|
| 7 | Tri-modal under-approximation for test generation |
Bride, Hadrien |
2016 |
132 | P2 |
p. 190-208 19 p. |
artikel |
7 gevonden resultaten