Ihr Suchergebnis

Home | Suche | Browsen

Nr. Titel Autor Jahr
1 Architectural modelling and verification of open service-oriented systems of systems Becker, Basil 2013
2 Modeling and verifying dynamic evolving service-oriented architectures Giese, Holger et al. 2013
3 Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants Becker, Basil et al. 2012
4 Proceedings of the 4th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering Alnemr, Rehab et al. 2010
5 Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations Becker, Basil et al. 2009
Aktuelle Seite:
Anzahl der Ergebnisseiten: 1
Anzahl der Dokumente: 5


Home | Leitlinien | Impressum | Haftungsausschluss | Statistik | Universitätsverlag | Universitätsbibliothek
Ihr Kontakt für Fragen und Anregungen:
Universitätsbibliothek Potsdam
powered by OPUS  Hosted by KOBV  Open
Archives Initiative  DINI Zertifikat 2007  OA Netzwerk