Sign in

Modeling and verification of real-time embedded systems with urgency.

Pao-Ann HsiungShang-Wei LinYean-Ru ChenChun-Hsian HuangChihhsiong ShihWilliam C. Chu
Published in: J. Syst. Softw. (2009)
Keyphrases
  • real time embedded systems
  • database
  • wide range
  • natural language
  • real time
  • machine learning
  • decision trees
  • data structure
  • multiresolution
  • face verification
  • formal verification