Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     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 An empirical study of FOSS developers patterns of contribution: Challenges for data linkage and analysis Sowe, Sulayman K.
 2014
 91 PB p. 249-265
17 p.
 artikel
2 CAOVerif: An open-source deductive verification platform for cryptographic software implementations Almeida, José Bacelar
 2014
 91 PB p. 216-233
18 p.
 artikel
3 Coccinelle: Tool support for automated CERT C Secure Coding Standard certification Olesen, Mads Chr.
 2014
 91 PB p. 141-160
20 p.
 artikel
4 Dependability in open proof software with hardware virtualization—The railway control systems perspective Feuser, Johannes
 2014
 91 PB p. 188-215
28 p.
 artikel
5 Ensuring portability of Linux applications through standardization and knowledge base driven analysis Rubanov, Vladimir
 2014
 91 PB p. 234-248
15 p.
 artikel
6 Open source verification in an anonymous volunteer network Breuer, Peter T.
 2014
 91 PB p. 161-187
27 p.
 artikel
7 Selected contributions from the Open Source Software Certification (OpenCert) workshops Barbosa, Luís Soares
 2014
 91 PB p. 139-140
2 p.
 artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland