- Sprache
-
Englisch
- Umfang
-
34 Seiten
- ISBN
-
978-3-86956-405-0
- Identifier
-
1143633857
- Reihe
-
Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam; Nr. 118
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:53 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
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
Probabilistic timed graph transformation systems
Metric temporal graph logic over typed attributed graphs
Interval probabilistic timed graph transformation systems
On the operationalization of graph queries with generalized discrimination networks
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Compositional analysis of probabilistic timed graph transformation systems
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Automatic verification of behavior preservation at the transformation level for relational model transformation
Modeling and verifying dynamic evolving service-oriented architectures
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
Probabilistic timed graph transformation systems
Metric temporal graph logic over typed attributed graphs
Interval probabilistic timed graph transformation systems
On the operationalization of graph queries with generalized discrimination networks
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Compositional analysis of probabilistic timed graph transformation systems
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Automatic verification of behavior preservation at the transformation level for relational model transformation
Modeling and verifying dynamic evolving service-oriented architectures
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
Probabilistic timed graph transformation systems
Metric temporal graph logic over typed attributed graphs
Interval probabilistic timed graph transformation systems
On the operationalization of graph queries with generalized discrimination networks
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Compositional analysis of probabilistic timed graph transformation systems
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Automatic verification of behavior preservation at the transformation level for relational model transformation