Formal Model-Driven Development of Communicating Systems

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

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    1 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationFormal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005
    RedaktörerK Lau, R Banach
    FörlagSpringer
    Sidor188–203
    ISBN (elektroniskt)978-3-540-32250-4
    ISBN (tryckt)978-3-540-29797-0
    DOI
    StatusPublicerad - 2005
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 2005-11-01; 2005-11-04 - 7th International Conference on Formal Engineering Methods - ICFEM 2005
    Varaktighet: 1 nov 20054 nov 2005

    Konferens

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

    Citera det här