Media type: E-Book; Thesis Title: A Specification Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment Contributor: Riedl, Martin [Verfasser]; Siegle, Markus [Akademischer Betreuer]; Kounev, Samuel [Akademischer Betreuer] imprint: Neubiberg: Universitätsbibliothek der Universität der Bundeswehr München, 2014 Extent: Online-Ressource Language: English Identifier: Keywords: Stochastischer Prozess, Prozessalgebra, Formale Methode, Rekonfiguration, Modelltransformation ; LARES, Stochastic Process Algebra, Formal Methods, Dependability Analysis, Reconfigurable Systems, Formal Semantics, Scala, Model Transformations ; Hochschulschrift Origination: University thesis: München, Univ. der Bundeswehr, Diss., 2014 Footnote: Access State: Open Access