Login / Signup

Modeling and Verification of CAN Bus with Application Layer using UPPAAL.

Can PanJian GuoLongfei ZhuJianqi ShiHuibiao ZhuXinyun Zhou
Published in: Electron. Notes Theor. Comput. Sci. (2014)
Keyphrases
  • application layer
  • model checking
  • end to end
  • video streaming
  • high speed
  • network layer
  • computational complexity
  • data quality
  • overlay network
  • model checker
  • transport layer