跳到主要导航
跳到搜索
跳到主要内容
西北工业大学 国内
English
中文
国内
简介
研究单位
科研成果
按专业知识、名称或附属进行搜索
Modelling and verification of ARINC 653 hierarchical preemptive scheduling
Ning Fu, Lijun Shan,
Chenglie Du
,
Zhiqiang Liu
, Han Peng
计算机学院
网络空间安全学院
Northwestern Polytechnical University Xian
科研成果
:
期刊稿件
›
文章
›
同行评审
1
引用 (Scopus)
综述
指纹
指纹
探究 'Modelling and verification of ARINC 653 hierarchical preemptive scheduling' 的科研主题。它们共同构成独一无二的指纹。
分类
加权
按字母排序
Computer Science
Automata Theory
100%
Software Specification
100%