Detecting livelock in activity diagram using process expression
© 2017 IEEE. The activity diagram is a diagram dedicated to model the flow of actions from the beginning point to the termination point. Despite the popularity, the diagram does not incorporate with the formalism. As a consequence, the result diagram could contain some errors in the structure. One t...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | Conference Proceeding |
| 出版: |
2018
|
| 主題: | |
| 在線閱讀: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85019181601&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/56643 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Chiang Mai University |