Monografie
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
- Sprache
-
Englisch
- Identifier
-
1219660655
- Reihe
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam; 56
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:54 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Proceedings of the 5th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Proceedings of the 3rd Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Proceedings of the 2. Ph.D. retreat of the HPI Research School on Service-oriented Systems Engineering
Modeling and verifying dynamic evolving service-oriented architectures
Proceedings of the 8th Ph.D. retreat of the HPI research school on service-oriented systems engineering
Proceedings of the 7th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
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
Interval probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Proceedings of the 5th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Proceedings of the 3rd Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Proceedings of the 2. Ph.D. retreat of the HPI Research School on Service-oriented Systems Engineering
Modeling and verifying dynamic evolving service-oriented architectures
Proceedings of the 8th Ph.D. retreat of the HPI research school on service-oriented systems engineering
Proceedings of the 7th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
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
Interval probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Proceedings of the 5th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Proceedings of the 3rd Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Proceedings of the 2. Ph.D. retreat of the HPI Research School on Service-oriented Systems Engineering
Modeling and verifying dynamic evolving service-oriented architectures
Proceedings of the 8th Ph.D. retreat of the HPI research school on service-oriented systems engineering
Proceedings of the 7th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering