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
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A process for mastering security evolution in the development lifecycle Felderer, Michael
2015
17 3 p. 245-250
artikel
2 A systematic classification of security regression testing approaches Felderer, Michael
2015
17 3 p. 305-319
artikel
3 Incremental test case generation using bounded model checking: an application to automatic rating Anielak, Grzegorz
2014
17 3 p. 339-349
artikel
4 Policy ignorant caller-side inline reference monitoring Vanoverberghe, Dries
2014
17 3 p. 291-303
artikel
5 Restoring security of evolving software models using graph transformation Bürger, Jens
2014
17 3 p. 267-289
artikel
6 Security risk analysis of system changes exemplified within the oil and gas domain Refsdal, Atle
2014
17 3 p. 251-266
artikel
7 Statistical model checking for biological systems David, Alexandre
2014
17 3 p. 351-367
artikel
8 Workflows for quantitative data analysis in the social sciences Turner, Kenneth J.
2014
17 3 p. 321-338
artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland