Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             7 results found
no title author magazine year volume issue page(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.
 article
2 CAOVerif: An open-source deductive verification platform for cryptographic software implementations Almeida, José Bacelar
 2014
 91 PB p. 216-233
18 p.
 article
3 Coccinelle: Tool support for automated CERT C Secure Coding Standard certification Olesen, Mads Chr.
 2014
 91 PB p. 141-160
20 p.
 article
4 Dependability in open proof software with hardware virtualization—The railway control systems perspective Feuser, Johannes
 2014
 91 PB p. 188-215
28 p.
 article
5 Ensuring portability of Linux applications through standardization and knowledge base driven analysis Rubanov, Vladimir
 2014
 91 PB p. 234-248
15 p.
 article
6 Open source verification in an anonymous volunteer network Breuer, Peter T.
 2014
 91 PB p. 161-187
27 p.
 article
7 Selected contributions from the Open Source Software Certification (OpenCert) workshops Barbosa, Luís Soares
 2014
 91 PB p. 139-140
2 p.
 article
                             7 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands