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	Scalable compatibility for embedded real-time components via language progressive timed automata	Neumann, Stefan et al.	2013
3	Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants	Becker, Basil et al.	2012
4	Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars	Giese, Holger et al.	2012
5	MDE settings in SAP : a descriptive field study	Hebig, Regina et al.	2012
6	Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata	Krause, Christian et al.	2012
7	Toward bridging the gap between formal semantics and implementation of triple graph grammars	Giese, Holger et al.	2010
8	Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations	Becker, Basil et al.	2009
9	Efficient model synchronization of large-scale models	Giese, Holger et al.	2009

Ihr Kontakt für Fragen und Anregungen:
Universitätsbibliothek Potsdam