|
|||||
|
|
Formal synthesis of application and platform behaviors of embedded software systems |
|
| Authors: | Jinhyun Kim Inhye Kang Jin-Young Choi Insup Lee Sungwon Kang |
| Affiliation: | 1. Department of Computer Science, Aalborg Universitet, Science Selma Lagerlofs Vej 300, 9229, Alaborg, Denmark 2. Department of Mechanical and Information Engineering, University of Seoul, Jeonnong-Dong 90, Seoul, 130-743, Korea 3. College of Information and Communications, Korea University, Anam-Dong 5-1, Sungbuk-Gu, Seoul, 136-701, Korea 4. Department of Computer and Information Science, University of Pennsylvania, 3330 Walnut Street, Philadelphia, PA, 10104, USA 5. Department of Computer Science, KAIST, 291 Daehak-ro, Daejeon, 305-701, Korea |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |