> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: A Specification Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment Beteiligte: Riedl, Martin [Verfasser]; Siegle, Markus [Akademischer Betreuer]; Kounev, Samuel [Akademischer Betreuer] Erschienen: Neubiberg: Universitätsbibliothek der Universität der Bundeswehr München, 2014 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Stochastischer Prozess, Prozessalgebra, Formale Methode, Rekonfiguration, Modelltransformation ; LARES, Stochastic Process Algebra, Formal Methods, Dependability Analysis, Reconfigurable Systems, Formal Semantics, Scala, Model Transformations ; Hochschulschrift Entstehung: Hochschulschrift: München, Univ. der Bundeswehr, Diss., 2014 Anmerkungen: Zugangsstatus: Freier Zugang