Ihr Suchergebnis

Home | Suche | Browsen

Nr. Titel Autor Jahr
1 Model-driven engineering of adaptation engines for self-adaptive software : executable runtime megamodels Vogel, Thomas et al. 2013
2 Modeling and verifying dynamic evolving service-oriented architectures Giese, Holger et al. 2013
3 Scalable compatibility for embedded real-time components via language progressive timed automata Neumann, Stefan et al. 2013
4 Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants Becker, Basil et al. 2012
5 Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars Giese, Holger et al. 2012
6 MDE settings in SAP : a descriptive field study Hebig, Regina et al. 2012
7 Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata Krause, Christian et al. 2012
8 Toward bridging the gap between formal semantics and implementation of triple graph grammars Giese, Holger et al. 2010
9 Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations Becker, Basil et al. 2009
10 Efficient model synchronization of large-scale models Giese, Holger et al. 2009
Aktuelle Seite:
Anzahl der Ergebnisseiten: 1
Anzahl der Dokumente: 10


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