Publications
- Carmen : Software Component Model Checker2008 | Faculty of Mathematics and Physics
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective +12005 | Faculty of Mathematics and Physics
- Carmen - the software component model checker +1Publication without faculty affiliation
- Automated Construction of Reasonable Environment for Java Components2009 | Faculty of Mathematics and Physics
- Checking Session-Oriented Interactions between Web Services2008 | Faculty of Mathematics and Physics
- A Component-Oriented Framework for Spacecraft On-Board Software2008 | Faculty of Mathematics and Physics
- Perspectives in Component-based Software Engineering2008 | Faculty of Mathematics and Physics
- Verification of Software Components: Addressing Unbounded Parallelism2007 | Faculty of Mathematics and Physics
- Behavior Composition in Component Systems2006 | Faculty of Mathematics and Physics
- Addressing Unbounded Parallelism in Verification of Software Components2006 | Faculty of Mathematics and Physics
Loading network view...