Monografie
Modeling and verifying dynamic evolving service-oriented architectures
- Language
-
Englisch
- Identifier
-
1219660841
- Series
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam; 75
Subject
Serviceorientierte Architektur ; Verifikation
Contributor
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:52 PM CET
Object type
- Monografie
Other Objects (12)
Modeling and verifying dynamic evolving service-oriented architectures
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Proceedings of the 10th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Proceedings of the 9th Ph.D. retreat of the HPI Research School on service-oriented systems engineering
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
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
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
Modeling and verifying dynamic evolving service-oriented architectures
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Proceedings of the 10th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Proceedings of the 9th Ph.D. retreat of the HPI Research School on service-oriented systems engineering
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
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
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
Modeling and verifying dynamic evolving service-oriented architectures
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Proceedings of the 10th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Proceedings of the 9th Ph.D. retreat of the HPI Research School on service-oriented systems engineering
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
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
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