Publikace
- Threaded Behavior Protocols2013 | Matematicko-fyzikální fakulta
- Leveraging Interpolant Strength in Model Checking2012 | Matematicko-fyzikální fakulta
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | 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
- Zlepšení specifikace a verifikace vlastností v nástroji BLAST2009 | Matematicko-fyzikální fakulta
- CoCoME v komponentovém modelu SOFA +12008 | Matematicko-fyzikální fakulta
- CoCoME in Fractal2008 | Matematicko-fyzikální fakulta
- Slicing specifikace chování komponent s ohledem na kompozici2007 | Matematicko-fyzikální fakulta
- Slicing specifikace chování komponent vzhledem k jejich kompozici2007 | Matematicko-fyzikální fakulta
Loading network view...