Předměty
- Pokročilé nástroje pro vývoj a monitorování softwareNSWX126 | Matematicko-fyzikální fakulta
- Programování v jazyce Java +1NPRG013 | Matematicko-fyzikální fakulta
- Pokročilé programování v jazyce Java +1NPRG021 | Matematicko-fyzikální fakulta
- Moderní trendy v informaticeNSWI029 | Matematicko-fyzikální fakulta
Publikace
- Formal Verification of Annotated Textual Use-Cases2015 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Comparison of Component Frameworks for Real-Time Embedded Systems2014 | Matematicko-fyzikální fakulta
- FOAM : A Lightweight Method for Verification of Use-Cases2012 | Matematicko-fyzikální fakulta
- Podpora pro tvorbu reálných aplikací v prostředí hierarchických komponentových systémů2009 | Matematicko-fyzikální fakulta
- SOFA 2.0: nastavení pokročilých vlastností v hierarchickém komponentovém modelu +22006 | Matematicko-fyzikální fakulta
- SOFA 2 release 0.7.0Publikace bez příslušnosti k fakultě
- SOFA High IntegrityPublikace bez příslušnosti k fakultě
- SOFA 2 release 0.8.1Publikace bez příslušnosti k fakultě
- JDEECo v. 2.0Publikace bez příslušnosti k fakultě
- Dynamic Access Control in Industry 4.0 Systems2023 | Matematicko-fyzikální fakulta
Loading network view...
