Original language | Undefined/Unknown |
---|---|
Publisher | Turku Centre for Computer Science (TUCS) |
ISBN (Print) | 952-12-1564-X |
Publication status | Published - 2005 |
MoE publication type | D4 Published development or research report or study |
Formal Model-Driven Development of Communicating Systems
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
Research output: Book/Journal/Report › Commissioned report › Professional