Fingerprint
Dive into the research topics of 'Development of RTOS for PLC using formal methods'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Development of RTOS for PLC using formal methods
Jin Hyun Kim, Su Young Lee, Young Ah Ahn, Jae Hwan Sim, Jin Seok Yang, Na Young Lee, Jin Young Choi
Research output: Chapter in Book/Report/Conference proceeding › Chapter
1
Citation
(Scopus)