![](/img/cover-not-exists.png)
[IEEE 2019 20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) - Toyama, Japan (2019.7.8-2019.7.11)] 2019 20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) - Transformation of Bounded Timed Petri Nets into Event-B
Kaewopchoei, Suphattra, Vatanawood, WiwatYear:
2019
DOI:
10.1109/SNPD.2019.8935680
File:
PDF, 331 KB
2019