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