Sign in

Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems.

Pao-Ann HsiungShang-Wei Lin
Published in: Comput. Lang. Syst. Struct. (2008)
Keyphrases
  • embedded software
  • ubiquitous systems
  • real time
  • embedded systems
  • development projects
  • mobile devices
  • low cost
  • mobile phone
  • software architecture
  • ubiquitous computing
  • control system
  • context aware
  • action recognition