Old Web
English
Sign In
Acemap
>
Paper
>
A high order collaboration and real time formal model for automatic testing of safety critical systems
A high order collaboration and real time formal model for automatic testing of safety critical systems
2015
JiangHua
Lv
ShUong
Ma
Xianjun
Li
Jiangong
Song
Keywords:
Reliability engineering
Life-critical system
automatic testing
Computer science
order
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]