Documenting the Progress of the System Development

Marta Olszewska, Marina Walden, Colin Snook

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

    Original languageUndefined/Unknown
    Title of host publicationWorkshop on Methods, Models and Tools for Fault Tolerance - Proceedings
    EditorsM Butler, C Jones, A Romanovsky, E Troubitsyna
    Publication statusPublished - 2007
    MoE publication typeA4 Article in a conference publication
    Eventconference; 2007-07-02; 2007-07-05 - 6th International Conference on Integrated Formal Methods, IFM 2007
    Duration: 2 Jul 20075 Jul 2007


    Conferenceconference; 2007-07-02; 2007-07-05

    Cite this