Publikace
- 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
- 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
- Systematické testování kritických aplikací reálného času v Javě2010 | Matematicko-fyzikální fakulta
- Srovnání komponentových frameworků pro vestavěné systémy reálného času2010 | Matematicko-fyzikální fakulta
- Generování komponentových systémů - SOFA HI prototyp2009 | Matematicko-fyzikální fakulta
- jPapaBenchPublikace bez příslušnosti k fakultě
- SOFA High IntegrityPublikace 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
Loading network view...