Original language | English |
---|---|
Title of host publication | Proceedings of RCS'03 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience |
Place of Publication | Turku |
Publisher | Turku Center of Computer Science |
Publication status | Published - 2003 |
MoE publication type | A4 Article in a conference publication |
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 proceeding › Conference contribution › Scientific › peer-review