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