A runtime verification method for <br /> embedded operating system

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

Home
Introduction
- Journal honors
- Database
Editorial board
Guide
Submission
Publishing ethics
Subscription
Download
Contact us
中文

A runtime verification method for
embedded operating system

ZHANG Kedi,SHU Shaoxian,DONG Wei

Computer Engineering & Science . 2014, (05): 900 -905 .