|
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 construction and minimization service for continuous probability distributions |
Pulungan, Reza |
2013 |
17 | 1 |
p. 77-90 |
artikel |
|
| 2 | Assessing the effects of introducing a new software development process: a methodological description |
Nilsson, Agneta |
2013 |
17 | 1 |
p. 1-16 |
artikel |
|
| 3 | A systematic review of state-based test tools |
Shafique, Muhammad |
2013 |
17 | 1 |
p. 59-76 |
artikel |
|
| 4 | Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures |
Lincke, Daniel |
2014 |
17 | 1 |
p. 91-105 |
artikel |
|
| 5 | Real-time specifications |
David, Alexandre |
2013 |
17 | 1 |
p. 17-45 |
artikel |
|
| 6 | Termination proofs for linear simple loops |
Chen, Hong Yi |
2013 |
17 | 1 |
p. 47-57 |
artikel |
|
| 7 | Testing abstract behavioral specifications |
Wong, Peter Y. H. |
2014 |
17 | 1 |
p. 107-119 |
artikel |
7 gevonden resultaten