Předměty
- Programování mobilních zařízení +1NPRG056 | Matematicko-fyzikální fakulta
- Výběrový seminář z distribuovaných a komponentových systémů INSWI057 | Matematicko-fyzikální fakulta
- Výběrový seminář z distribuovaných a komponentových systémů IINSWI058 | Matematicko-fyzikální fakulta
- Modely a verifikace chování systémůNSWI101 | Matematicko-fyzikální fakulta
- Sémantika programůNSWI162 | Matematicko-fyzikální fakulta
Publikace
- Threaded Behavior Protocols2013 | Matematicko-fyzikální fakulta
- Módy ve specifikaci chování komponent v EBP a jejich aplikace v product lines2009 | Matematicko-fyzikální fakulta
- TBP: Na kód orientovaný formalismus pro specifikaci chování komponent2009 | Matematicko-fyzikální fakulta
- Komponenty ve formě: SPINing2009 | Matematicko-fyzikální fakulta
- CoCoME v komponentovém modelu SOFA +12008 | Matematicko-fyzikální fakulta
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +22007 | Matematicko-fyzikální fakulta
- Rozšíření Behavior Protocols +12007 | Matematicko-fyzikální fakulta
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Behavior Protocols: Efficient Checking For Composition Errors2005 | Matematicko-fyzikální fakulta
- Performance Improvements of Behavior Protocol Checking2005 | Matematicko-fyzikální fakulta
Loading network view...