Improvements towards formalizing UML state diagrams in CSP
- Wing Lok YEUNG
- , R. P. H., Karl LEUNG
- , Ji WANG
- , Wei DONG
Research output: Book Chapters | Papers in Conference Proceedings › Conference paper (refereed) › Research › peer-review
24
Link opens in a new tab
Citations
(Scopus)