Original language | English |
---|---|
Pages (from-to) | 101-130 |
Number of pages | 30 |
Journal | Fundamenta Informaticae |
Volume | 78 |
Issue number | 1 |
Publication status | Published (VoR) - 2007 |
Keywords
- Controllability
- Factorisation
- Process algebra
- Refinement
- Reflection
- Testing