Monografie
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
- Language
-
Englisch
- Extent
-
45 S.
- ISBN
-
978-3-940793-91-1
- Identifier
-
994943571
- Series
-
Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam; Nr. 29
Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
16.08.2023, 6:37 PM CEST
Other Objects (12)
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Modeling and verifying dynamic evolving service-oriented architectures
Modeling and verifying dynamic evolving service-oriented architectures
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Compositional analysis of probabilistic timed graph transformation systems
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
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
Proceedings of the 8th Ph.D. retreat of the HPI research school on service-oriented systems engineering
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Modeling and verifying dynamic evolving service-oriented architectures
Modeling and verifying dynamic evolving service-oriented architectures
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Compositional analysis of probabilistic timed graph transformation systems
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
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
Proceedings of the 8th Ph.D. retreat of the HPI research school on service-oriented systems engineering
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Modeling and verifying dynamic evolving service-oriented architectures
Modeling and verifying dynamic evolving service-oriented architectures
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
Compositional analysis of probabilistic timed graph transformation systems
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
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