Monografie
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
- Sprache
-
Englisch
- Identifier
-
1219659983
- Reihe
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam; 29
Beteiligte Personen und Organisationen
Becker, Basil
Giese, Holger
Neumann, Stefan
System Analysis and Modeling Group
Giese, Holger
Neumann, Stefan
System Analysis and Modeling Group
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Objekttyp
- Monografie
Beteiligte
- Becker, Basil
- Giese, Holger
- Neumann, Stefan
- System Analysis and Modeling Group
Ähnliche Objekte (12)
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
Modeling and verifying dynamic evolving service-oriented architectures
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Modeling and verifying dynamic evolving service-oriented architectures
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
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
Proceedings of the 7th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Proceedings of the 6th 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
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Modeling and verifying dynamic evolving service-oriented architectures
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
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
Proceedings of the 7th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Proceedings of the 6th 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
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Modeling and verifying dynamic evolving service-oriented architectures
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
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
Proceedings of the 7th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering