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

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