Ihr Suchergebnis
Home | Suche | Browsen| Nr. | Titel | Autor | Jahr |
|---|---|---|---|
| 1 | Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants | Becker, Basil et al. | 2012 |
| 2 | Proceedings of the 4th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering | Alnemr, Rehab et al. | 2010 |
| 3 | Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations | Becker, Basil et al. | 2009 |
| Anzahl der Ergebnisseiten: | 1 |
| Anzahl der Dokumente: | 3 |
Home | Leitlinien | Impressum | Haftungsausschluss | Statistik | Universitätsverlag | Universitätsbibliothek
| Ihr Kontakt für Fragen und
Anregungen: Universitätsbibliothek Potsdam |
 
|