Formal Service-Oriented Development of Fault Tolerant Communicating Systems

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

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationProceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)
    RedaktörerM Butler, C Jones, A Romanovsky, E Troubitsyna
    FörlagSchool of Computing Science, University of Newcastle upon Tyne
    Sidor2–11
    StatusPublicerad - 2005
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference -
    Varaktighet: 1 jan 2010 → …

    Konferens

    Konferensconference
    Period01/01/10 → …

    Citera det här