Formal Service-Oriented Development of Fault Tolerant Communicating Systems

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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    AlkuperäiskieliEi tiedossa
    OtsikkoProceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)
    ToimittajatM Butler, C Jones, A Romanovsky, E Troubitsyna
    KustantajaSchool of Computing Science, University of Newcastle upon Tyne
    Sivut2–11
    TilaJulkaistu - 2005
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference -
    Kesto: 1 tammik. 2010 → …

    Konferenssi

    Konferenssiconference
    Ajanjakso01/01/10 → …

    Viittausmuodot