Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             5 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach Vassev, Emil
2015
12 2 p. 95-107
artikel
2 Metrics for V&V of cyber defenses Feather, Martin S.
2015
12 2 p. 81-94
artikel
3 Regression test size reduction using improved precision slices Panigrahi, Chhabi Rani
2015
12 2 p. 153-159
artikel
4 Run-time monitoring using bounded constraint instance discovery within big data streams Drusinsky, Doron
2015
12 2 p. 141-151
artikel
5 Security patterns modeling and formalization for pattern-based development of secure software systems Hamid, B.
2015
12 2 p. 109-140
artikel
                             5 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland