Modeling and Verifying the Kernel of RTOS
- Type
- Retraction
- Notice date
- 1/1/2012 0:00
- Journal
- Information Computing and Applications (ICICA 2012)
- Publisher
- Springer - Nature Publishing Group
- Notice DOI
- 10.1007/978-3-642-34038-3_116
- Original paper DOI
- 10.1007/978-3-642-34038-3_84