- Alternative title
-
Probabilistische zeitbehaftete Graphtransformationssysteme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 118
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universität Potsdam
- (when)
-
2017
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universitätsverlag Potsdam
- (when)
-
2017
- Creator
-
Maximova, Maria
Giese, Holger
Krause, Christian
- URN
-
urn:nbn:de:kobv:517-opus4-397055
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:56 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Maximova, Maria
- Giese, Holger
- Krause, Christian
- Universität Potsdam
- Universitätsverlag Potsdam
Time of origin
- 2017
Other Objects (12)
Probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Formal testing of timed graph transformation systems using metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Scalable compatibility for embedded real-time components via language progressive timed automata
Scalable compatibility for embedded real-time components via language progressive timed automata
Probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Formal testing of timed graph transformation systems using metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Scalable compatibility for embedded real-time components via language progressive timed automata
Scalable compatibility for embedded real-time components via language progressive timed automata
Probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Formal testing of timed graph transformation systems using metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Scalable compatibility for embedded real-time components via language progressive timed automata