Publikace
- Systematické testování kritických aplikací reálného času v Javě2010 | Matematicko-fyzikální fakulta
- Plugin pro prostředí Eclipse integrující nástroj pro ověřování korektnosti chování složených webových služebPublikace bez příslušnosti k fakultě
- Plugin pro prostředí Eclipse integrující nástroj pro ověřování korektnosti chování složených webových služebPublikace bez příslušnosti k fakultě
- Interoperable domain-specific languages families for code generation2013 | Matematicko-fyzikální fakulta
- Automated Evaluation of Regular Lab Assignments: A Bittersweet Experience?2013 | Matematicko-fyzikální fakulta
- Component-Oriented Development for Real-Time Java2012 | Matematicko-fyzikální fakulta
- Property networks allowing oracle-based mode-change propagation in hierarchical components2012 | Matematicko-fyzikální fakulta
- CoDIT: Bridging the Gap between System-Level and Component-Level Development2012 | Matematicko-fyzikální fakulta
- Zavádění podpory pro vývoj vestavěných a real-time zařízení do existujích komponentových systémů2011 | Matematicko-fyzikální fakulta
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | Matematicko-fyzikální fakulta
Loading network view...
