![](/img/cover-not-exists.png)
[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols
Ilic, Dubravka, Troubitsyna, Elena, Laibinis, Linas, Leppänen, SariYear:
2006
Language:
english
DOI:
10.1109/isola.2006.40
File:
PDF, 746 KB
english, 2006