Formal Model-Driven Development of Communicating Systems

Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

1 Citation (Scopus)
Original languageUndefined/Unknown
Title of host publicationFormal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005
EditorsK Lau, R Banach
PublisherSpringer
Pages188–203
ISBN (Electronic)978-3-540-32250-4
ISBN (Print)978-3-540-29797-0
DOIs
Publication statusPublished - 2005
MoE publication typeA4 Article in a conference publication
Eventconference; 2005-11-01; 2005-11-04 - 7th International Conference on Formal Engineering Methods - ICFEM 2005
Duration: 1 Nov 20054 Nov 2005

Conference

Conferenceconference; 2005-11-01; 2005-11-04
Period01/11/0504/11/05

Cite this