Documenting the Progress of the System Development

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
Pages118–127
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

Conference

Conferenceconference; 2007-07-02; 2007-07-05
Period02/07/0705/07/07

Cite this