| |
| 2006 | ||
|---|---|---|
| 3 | EE | Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius: Synthesis of Scenario Based Test Cases from B Models. FATES/RV 2006: 133-147 |
| 2 | EE | Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik: Formal Service-Oriented Development of Fault Tolerant Communicating Systems. RODIN Book 2006: 261-287 |
| 2005 | ||
| 1 | EE | Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik: Formal Model-Driven Development of Communicating Systems. ICFEM 2005: 188-203 |
| 1 | Linas Laibinis | [1] [2] |
| 2 | Sari Leppänen | [1] [2] |
| 3 | Johan Lilius | [1] [2] [3] |
| 4 | Manoranjan Satpathy | [3] |
| 5 | Elena Troubitsyna | [1] [2] |