Fingerprint
Dive into the research topics of 'Formal synthesis of application and platform behaviors of embedded software systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Formal synthesis of application and platform behaviors of embedded software systems
Jinhyun Kim, Inhye Kang, Jin Young Choi, Insup Lee, Sungwon Kang
Research output: Contribution to journal › Article › peer-review
4
Scopus
citations