![]() |
| 2008 | ||
|---|---|---|
| 3 | Jinho On, Jungrhan Choi, Moonkun Lee: A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space. FCS 2008: 56-62 | |
| 2 | Sujeong U, Gihwan Cho, Moonkun Lee: Development of a Scheduler for Hard Real-time Emergency Medical Systems over Networked Space in a Process Algebra. FCS 2008: 63-69 | |
| 2006 | ||
| 1 | EE | Sukdea Yu, Moonkun Lee, Gihwan Cho: An Emergency Message Propagation Method in Highway Traffic. UCS 2006: 331-343 |
| 1 | Gihwan Cho | [1] [2] |
| 2 | Jungrhan Choi | [3] |
| 3 | Jinho On | [3] |
| 4 | Sujeong U | [2] |
| 5 | Sukdea Yu | [1] |