A case study in requirement analysis of control systems using UML and B

Colin Snook, Leonidas Tsiopoulos, Marina Walden

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

Original languageEnglish
Title of host publicationProceedings of RCS'03 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience
Place of PublicationTurku
PublisherTurku Center of Computer Science
Publication statusPublished - 2003
MoE publication typeA4 Article in a conference publication

Cite this