Checking consistency between UML class and state models based on CSP and B

Wing Lok YEUNG

Research output: Journal PublicationsJournal Article (refereed)peer-review

6 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Checking consistency between UML class and state models based on CSP and B'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science