Yeongbok Choe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2013–2019
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | KSEM | Application of Probabilistic Process Model for Smart Factory Systems. | Junsup Song, Yeongbok Choe, Moonkun Lee |
| 2016 | EDOC | SAVE: An Environment for Visual Specification and Verification of IoT. | Yeongbok Choe, Sunghyeon Lee, Moonkun Lee |
| 2015 | COMPSAC | A Reduction Method for Process and System Complexity with Conjunctive and Complement Choices in a Process Algebra. | Woorim Choi, Yeongbok Choe, Moonkun Lee |
| 2013 | COMPSAC | An Abstraction Method of Behaviors for Process Algebra. | Jinho On, Yeongbok Choe, Moonkun Lee |