Work

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

Year: 2012

Type: conference-paper

Source: IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)

DOI: 10.1109/iceccs20050.2012.6299224

Authors: Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang

Institutions: East China Jiaotong University, Shanghai Key Laboratory of Trustworthy Computing

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4233756595

FWCI: 2.36

Cites: 16

Cited by: 28

Related to: 10