h1

h2

h3

h4

h5
h6
TY  - THES
AU  - Ringert, Jan Oliver
TI  - Analysis and synthesis of interactive component and connector systems
VL  - 19
CY  - Aachen
PB  - Shaker
M1  - RWTH-CONV-207172
SN  - 9783844031201
T2  - Aachener Informatik-Berichte, Software Engineering
SP  - 431 S., : Ill., graph. Darst.
PY  - 2014
N1  - Druckausgabe: 2014. - Zweitveröffentlicht auf dem Publikationsserver der RWTH Aachen University 2022
N1  - Zugl.: Aachen, Techn. Hochsch., Diss., 2014
KW  - Verteiltes System (swd)
KW  - Softwarearchitektur (swd)
KW  - Komponente (Software) (swd)
KW  - Konnektor (swd)
KW  - Modellgetriebene Entwicklung (swd)
KW  - Entwurfssprache (swd)
KW  - Spezifikationstechnik (swd)
KW  - Schrittweise Verfeinerung (swd)
KW  - Verifikation (swd)
KW  - Reaktives System (swd)
LB  - PUB:(DE-HGF)11 ; PUB:(DE-HGF)3
DO  - DOI:10.18154/RWTH-CONV-207172
UR  - https://publications.rwth-aachen.de/record/465630
ER  -