Publikace
- CoCoME v komponentovém modelu SOFA +12008 | Matematicko-fyzikální fakulta
- A Non-Intrusive Read-Copy-Update for UTS2012 | Matematicko-fyzikální fakulta
- Cesta k formálně verifikovanému obecnému operačnímu systému2010 | Matematicko-fyzikální fakulta
- Real-time Java ve vesmíru: Potenciální výhody a otevřené problémy2009 | Matematicko-fyzikální fakulta
- CoCoME in Fractal2008 | Matematicko-fyzikální fakulta
- Výuka operačních systémů: semestrální práce z perspektivy softwarového inženýství2008 | Matematicko-fyzikální fakulta
- Sdílení zdrojů v modelech výkonnosti +12007 | Matematicko-fyzikální fakulta
- Operační systém pro všeobecné použití postavený na komponentech2007 | Matematicko-fyzikální fakulta
- HelenOS 0.4.3Publikace bez příslušnosti k fakultě
- HelenOS 0.5.0Publikace bez příslušnosti k fakultě
Loading network view...