Ihr Suchergebnis

Home | Suche | Browsen

Nr. Titel Autor Jahr
1 Scalable compatibility for embedded real-time components via language progressive timed automata Neumann, Stefan et al. 2013
2 Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars Giese, Holger et al. 2012
3 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: 3


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