Publications
- Threaded Behavior Protocols2013 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
- Partial Verification of Software Components: Heuristics for Environment Construction +22007 | 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
- Component Composition Errors and Update Atomicity: Static Analysis +12005 | Faculty of Mathematics and Physics
- Behavior Protocol Verification: Fighting State Explosion +22005 | Faculty of Mathematics and Physics
- Enhancing Component Specification by Behavior Description - the SOFA Experience +12005 | Faculty of Mathematics and Physics
- Addressing State Explosion in Behavior Protocol Verification2004 | Faculty of Mathematics and Physics
- Behavior Protocols Capturing Errors and Updates2003 | Faculty of Mathematics and Physics
- Getting 'Whole Picture' Behavior in a Use Case Model2003 | Faculty of Mathematics and Physics
Loading network view...