Formal Model-Driven Development of Communicating Systems

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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    1 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoFormal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005
    ToimittajatK Lau, R Banach
    KustantajaSpringer
    Sivut188–203
    ISBN (elektroninen)978-3-540-32250-4
    ISBN (painettu)978-3-540-29797-0
    DOI - pysyväislinkit
    TilaJulkaistu - 2005
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2005-11-01; 2005-11-04 - 7th International Conference on Formal Engineering Methods - ICFEM 2005
    Kesto: 1 marraskuuta 20054 marraskuuta 2005

    Konferenssi

    Konferenssiconference; 2005-11-01; 2005-11-04
    Ajanjakso01/11/0504/11/05

    Viittausmuodot