![](/img/cover-not-exists.png)
[IEEE 2015 2nd International Symposium on Dependable Computing and Internet of Things (DCIT) - Wuhan, China (2015.11.16-2015.11.18)] 2015 2nd International Symposium on Dependable Computing and Internet of Things (DCIT) - Formal Modeling and Analysis of Time-and Resource-Sensitive Simple Business Processes
Ogata, Kazuhiro, Chaimanont, Thapana, Zhang, MinYear:
2015
Language:
english
DOI:
10.1109/dcit.2015.23
File:
PDF, 430 KB
english, 2015