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 memory-related vulnerability detection approach based on vulnerability model with Petri Net
Chen, Jinfu
132
C
p.
artikel
2
A type language for distributed reactive components governed by communication protocols
Savanović, Zorica
132
C
p.
artikel
3
Decomposing monolithic processes in a process algebra with multi-actions
Laveaux, Maurice
132
C
p.
artikel
4
Editorial Board
132
C
p.
artikel
5
Location automata for synchronised shuffle expressions
Broda, Sabine
132
C
p.
artikel
6
Program equivalence in an untyped, call-by-value functional language with uncurried functions
Horpácsi, Dániel
132
C
p.
artikel
7
Safety enforcement via programmable strategies in Maude
Alpuente, M.
132
C
p.
artikel
8
Verification of the ROS NavFn planner using executable specification languages
Martin-Martin, Enrique
132
C
p.
artikel
8 gevonden resultaten
Koninklijke Bibliotheek -
Nationale Bibliotheek van Nederland