Login / Signup

Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.

Jianqi ShiLongfei ZhuYanhong HuangJian GuoHuibiao ZhuHuixing FangXin Ye
Published in: TASE (2012)
Keyphrases
  • binary codes
  • higher level
  • model checking
  • hamming distance
  • data mining
  • image processing
  • gray code