Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols.

Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppnen

Browse the full ISoLA paper archive.