| 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