Publikace
- Threaded Behavior Protocols2013 | Matematicko-fyzikální fakulta
- Interoperable domain-specific languages families for code generation2013 | Matematicko-fyzikální fakulta
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +22007 | Matematicko-fyzikální fakulta
- Částečná verifikace softwarových komponent: heuristiky pro konstrukci prostředí +22007 | Matematicko-fyzikální fakulta
- Behavior Protocol Verification: Fighting State Explosion2005 | Matematicko-fyzikální fakulta
- Behavior Protocols Capturing Errors and Updates2003 | Matematicko-fyzikální fakulta
- What Characterizes a (Software) Components1998 | Matematicko-fyzikální fakulta
- Behavior ProtocolsPublikace bez příslušnosti k fakultě
- A Hierarchical Model of Software ConnectorsPublikace bez příslušnosti k fakultě
- From Object to Software Components.Publikace bez příslušnosti k fakultě
Loading network view...