![]() | ![]() |
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] |