Other documents
- Model Repair
- Artifact verification and synthesis techniques - Iteration II
- Model checking tool for artifact interoperations (MOCAI) - Iteration II
- The complete ACSI artifact paradigm
- Techniques and tools for KAB, to manage action linkage with artifact layer - Iteration I
- Evolvability of the interoperation hub - Iteration I
