Sign in

Research on Modeling and Verification Methods for Embedded Software Systems Based on SysML.

Linbo WuYunqiang YanFeng GaoXiaohong ChenChanghai Nie
Published in: QRS Companion (2019)
Keyphrases
  • embedded software
  • modeling language
  • case study
  • embedded systems
  • formal methods
  • artificial intelligence