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
5 gevonden resultaten
nr
titel
auteur
tijdschrift
jaar
jaarg.
afl.
pagina('s)
type
1
Correctness issues on MARTE/CCSL constraints
Mallet, Frédéric
2015
106
C
p. 78-92
15 p.
artikel
2
DREMS ML: A wide spectrum architecture design language for distributed computing platforms
Balasubramanian, Daniel
2015
106
C
p. 3-29
27 p.
artikel
3
Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems
Hugues, Jérôme
2015
106
C
p. 1-2
2 p.
artikel
4
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony
Besnard, Loïc
2015
106
C
p. 54-77
24 p.
artikel
5
Towards a verified transformation from AADL to the formal component-based language FIACRE
Bodeveix, Jean-Paul
2015
106
C
p. 30-53
24 p.
artikel
5 gevonden resultaten
Koninklijke Bibliotheek -
Nationale Bibliotheek van Nederland