Digitale Bibliotheek
Sluiten
Bladeren door artikelen uit een tijdschrift
Zoeken naar
Tijdschrift
Artikel
ISSN
NBN artikel
NBN tijdschrift
DARE/NARCIS document
met titel:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
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