Media type: E-Book; Thesis Title: Kohärenzprüfung von Verhaltensspezifikationen gegen spezifische Eigenschaften des operationellen Kontexts Other titles: Coherence check of behavioural specifications against specific properties of the operational context Contributor: Weyer, Thorsten [Author]; Pohl, Klaus [Degree supervisor]; Gruhn, Volker [Degree supervisor] Published: Duisburg; Essen: Universitätsbibliothek Duisburg-Essen, 2011 Extent: Online-Ressource Language: German Identifier: Keywords: Hochschulschrift Origination: University thesis: Duisburg, Essen, Universität Duisburg-Essen, Diss., 2011 Footnote: Access State: Open Access