- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Electronic Communications of the EASST- ECEASST ; 10/14
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2008
- Creator
-
Bucchiarone, Antonio
Galeotti, Juan P.
- URN
-
urn:nbn:de:kobv:83-opus-19944
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:45 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Bucchiarone, Antonio
- Galeotti, Juan P.
- Technische Universität Berlin
Time of origin
- 2008
Other Objects (12)
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
Verification architectures for complex real-time systems
Dynamic coarse grained reconfigurable architectures
Guaranteed Verification of Dynamic Systems
Guaranteed Verification of Dynamic Systems
Delayed verification mechanism for dynamic implementation
Die - Dyn
Die - Dyn
Deu - Dyn
Dai - Dyn
DRIVE : Dynamic Runtime Integrity Verification and Evaluation
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
Verification architectures for complex real-time systems
Dynamic coarse grained reconfigurable architectures
Guaranteed Verification of Dynamic Systems
Guaranteed Verification of Dynamic Systems
Delayed verification mechanism for dynamic implementation
Die - Dyn
Die - Dyn
Deu - Dyn
Dai - Dyn
DRIVE : Dynamic Runtime Integrity Verification and Evaluation
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
Correct dynamic service oriented architectures : modeling and compositional verification with dynamic collaborations
Verification architectures for complex real-time systems
Dynamic coarse grained reconfigurable architectures
Guaranteed Verification of Dynamic Systems
Guaranteed Verification of Dynamic Systems
Delayed verification mechanism for dynamic implementation
Die - Dyn
Die - Dyn
Deu - Dyn
Dai - Dyn