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

Fingerprint

Dive into the research topics of 'A case study in requirement analysis of control systems using UML and B'. Together they form a unique fingerprint.

Computer Science

Keyphrases

Mathematics