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