Login / Signup
Research on Modeling and Verification Methods for Embedded Software Systems Based on SysML.
Linbo Wu
Yunqiang Yan
Feng Gao
Xiaohong Chen
Changhai Nie
Published in:
QRS Companion (2019)
Keyphrases
</>
embedded software
modeling language
case study
embedded systems
formal methods
artificial intelligence