• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

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

Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen, Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. TUCS Technical Reports 777, Turku Centre for Computer Science, 2006.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tIlTrLaLe06a,
  title = {Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols},
  author = {Ilic, Dubravka and Troubitsyna, Elena and Laibinis, Linas and Leppänen, Sari},
  number = {777},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2006},
  ISBN = {952-12-1749-9},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication