Formal Service-Oriented Development of Fault Tolerant Communicating Systems

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

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    Original languageUndefined/Unknown
    Title of host publicationProceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)
    EditorsM Butler, C Jones, A Romanovsky, E Troubitsyna
    PublisherSchool of Computing Science, University of Newcastle upon Tyne
    Publication statusPublished - 2005
    MoE publication typeA4 Article in a conference publication
    Eventconference -
    Duration: 1 Jan 2010 → …


    Period01/01/10 → …

    Cite this