Login / Signup

A Spin-Based Approach for Checking OSEK/VDX Applications.

Haitao ZhangToshiaki AokiYuki Chiba
Published in: FTSCS (2014)
Keyphrases
  • three dimensional
  • co occurrence
  • natural language
  • relational databases
  • dynamic programming
  • object oriented