External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System

Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang. ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. In Isabelle Perseil, Karin Breitman, Roy Sterritt, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. pages 293-301, IEEE Computer Society, 2012. [doi]

Authors

Jianqi Shi

This author has not been identified. Look up 'Jianqi Shi' in Google

Jifeng He

This author has not been identified. Look up 'Jifeng He' in Google

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Huixing Fang

This author has not been identified. Look up 'Huixing Fang' in Google

Yanhong Huang

This author has not been identified. Look up 'Yanhong Huang' in Google

Xiaoxian Zhang

This author has not been identified. Look up 'Xiaoxian Zhang' in Google
runs on