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
Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee, Sungwon Kang
Research output: Contribution to journal › Journal article › Research › peer-review
3
Citations
(Scopus)