Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783869561714
- Maße
-
30 cm
- Umfang
-
45 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zusätzliches Online-Angebot unter http://pub.ub.uni-potsdam.de/volltexte/2012/5784. - Literaturangaben
- Erschienen in
-
Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam / Hasso-Plattner-Institut für Softwaresystemtechnik ; Nr. 56
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Univ.-Verl.
- (wann)
-
2012
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:06 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Krause, Christian
- Giese, Holger
- Univ.-Verl.
Entstanden
- 2012
Ähnliche Objekte (12)
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Interval probabilistic timed graph transformation systems
Scalable compatibility for embedded real-time components via language progressive timed automata
Scalable compatibility for embedded real-time components via language progressive timed automata
Interval probabilistic timed graph transformation systems
Modeling and verifying dynamic evolving service-oriented architectures
Modeling and verifying dynamic evolving service-oriented architectures
Architectural modelling and verification of open service-oriented systems of systems
Probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Object coordination nets 3.0 synchronization behavior typing for contracts
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Interval probabilistic timed graph transformation systems
Scalable compatibility for embedded real-time components via language progressive timed automata
Scalable compatibility for embedded real-time components via language progressive timed automata
Interval probabilistic timed graph transformation systems
Modeling and verifying dynamic evolving service-oriented architectures
Modeling and verifying dynamic evolving service-oriented architectures
Architectural modelling and verification of open service-oriented systems of systems
Probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Object coordination nets 3.0 synchronization behavior typing for contracts
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Interval probabilistic timed graph transformation systems
Scalable compatibility for embedded real-time components via language progressive timed automata
Scalable compatibility for embedded real-time components via language progressive timed automata
Interval probabilistic timed graph transformation systems
Modeling and verifying dynamic evolving service-oriented architectures
Modeling and verifying dynamic evolving service-oriented architectures
Architectural modelling and verification of open service-oriented systems of systems
Probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems