Formal Service-Oriented Development of Fault Tolerant Communicating Systems

L Laibinis, E Troubitsyna, S Leppänen, Johan Lilius, Q Malik

    Research output: Chapter in Book/Conference proceedingChapterScientificpeer-review

    Original languageUndefined/Unknown
    Title of host publicationRigorous Development of Complex Fault-Tolerant Systems
    PublisherSpringer Berlin / Heidelberg
    ISBN (Print)978-3-540-48265-9
    Publication statusPublished - 2006
    MoE publication typeA3 Part of a book or another research book

    Cite this