Formal Model-Driven Development of Communicating Systems.

Linas Laibinis, Elena Troubitsyna, Sari Leppnen, Johan Lilius, Qaisar A. Malik

Browse the full ICFEM paper archive.