Publications
- Threaded Behavior Protocols2013 | Faculty of Mathematics and Physics
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +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
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective +12005 | 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
- Partial Bindings of Components - any Harm?2004 | Faculty of Mathematics and Physics
Loading network view...