Publikace
- Threaded Behavior Protocols2013 | Matematicko-fyzikální fakulta
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | Matematicko-fyzikální fakulta
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +22007 | Matematicko-fyzikální fakulta
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Component Composition Errors and Update Atomicity: Static Analysis2005 | Matematicko-fyzikální fakulta
- Behavior Protocol Verification: Fighting State Explosion2005 | Matematicko-fyzikální fakulta
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective2005 | Matematicko-fyzikální fakulta
- Enhancing Component Specification by Behavior Description - the SOFA Experience2005 | Matematicko-fyzikální fakulta
- Addressing State Explosion in Behavior Protocol Verification2004 | Matematicko-fyzikální fakulta
- Partial Bindings of Components - any Harm?2004 | Matematicko-fyzikální fakulta
Loading network view...