TY - GEN
AU - Parnjai, Jarungjit
AU - Reisig, Wolfgang
AU - Schlingloff, Holger
AU - Wolf, Karsten
TI - Behavioral service substitution ; analysis and synthesis
PB - Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
KW - controller
KW - refinement
KW - Datenverarbeitung
KW - Ansprechbarkeit
KW - service automaton
KW - Serviceevolution
KW - compatibility
KW - Bedienungsanleitung
KW - conformance
KW - service composition
KW - Verklemmungsfreiheit
KW - 28 Informatik
KW - maximal controller
KW - ST 230
KW - maximaler Kontroller
KW - deadlock freedom
KW - Serviceautomat
KW - Konformität
KW - service evolution
KW - correctness
KW - Service
KW - service substitution
KW - Verfeinerung
KW - Serviceersetzung
KW - operating guidelines
KW - failure refinement
KW - Servicekomposition
KW - Korrektheit
KW - responsiveness
KW - Kompatibilität
KW - Kontroller
PY - 2013-04-22
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation