˜Aœ specification language for reconfigurable dependable systems, its formalisation and analysis environment

Neubiberg, Univ. der Bundeswehr München, Diss., 2014

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Riedl, Martin (VerfasserIn)
Weitere Verfasser: Siegle, Markus (AkademischeR BetreuerIn), Kounev, Samuel (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2014
Schlagworte:
Rekonfiguration > Formale Methode > Modelltransformation > Stochastischer Prozess > Prozessalgebra > Hochschulschrift
Online Zugang:http://d-nb.info/1058116916/34
https://nbn-resolving.org/urn:nbn:de:bvb:706-3630
Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Neubiberg, Univ. der Bundeswehr München, Diss., 2014
Beschreibung:Zsfassung in engl. Sprache
Beschreibung:IV, 238 S.
graph. Darst.
Format:Langzeitarchivierung gewährleistet, LZA