跳到主要导航
跳到搜索
跳到主要内容
西北工业大学 国内
English
中文
国内
简介
研究单位
科研成果
按专业知识、名称或附属进行搜索
Discrete hybrid automata for safe cyber-physical system: An astronautic case study
Qiang Wang, Gang Yang,
Xingshe Zhou
, Yalei Yang
计算机学院
Northwestern Polytechnical University Xian
科研成果
:
书/报告/会议事项章节
›
会议稿件
›
同行评审
综述
指纹
指纹
探究 'Discrete hybrid automata for safe cyber-physical system: An astronautic case study' 的科研主题。它们共同构成独一无二的指纹。
分类
加权
按字母排序
Computer Science
Cyber Physical Systems
100%
Case Study
100%
Hybrid Automaton
100%
And-States
33%
Behavior Model
33%
System Description Language
33%
Computing Units
33%