Old Web
English
Sign In
Acemap
>
Paper
>
Formal Veri?cation of Multifunction Vehicle Bus
Formal Veri?cation of Multifunction Vehicle Bus
2018
Lianyi Zhang
Duzheng Qing
Lixin Yu
Mo Xia
Han Zhang
Zhiping Li
Keywords:
Embedded system
Vehicle bus
Computer science
Automotive engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]