Classes
- Mobile Devices Programming +1NPRG056 | Faculty of Mathematics and Physics
- Advanced topics in distributed and component-based systems INSWI057 | Faculty of Mathematics and Physics
- Advanced topics in distributed and component-based systems IINSWI058 | Faculty of Mathematics and Physics
- System Behaviour Models and VerificationNSWI101 | Faculty of Mathematics and Physics
- Program SemanticsNSWI162 | Faculty of Mathematics and Physics
Publications
- Threaded Behavior Protocols2013 | Faculty of Mathematics and Physics
- Modes in component behavior specification via EBP and their application in product lines2009 | Faculty of Mathematics and Physics
- TBP: Code-Oriented Component Behavior Specification2009 | Faculty of Mathematics and Physics
- Making Components Fit: SPINing2009 | Faculty of Mathematics and Physics
- CoCoME in SOFA +12008 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
- Extensions to Behavior Protocols2007 | Faculty of Mathematics and Physics
- Behavior Protocols Extensions +12007 | Faculty of Mathematics and Physics
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Faculty of Mathematics and Physics, Central Library of Charles University
- Behavior Protocols: Efficient Checking For Composition Errors +12005 | Faculty of Mathematics and Physics
Loading network view...