Sign in

Formal synthesis of application and platform behaviors of embedded software systems.

Jinhyun KimInhye KangJin-Young ChoiInsup LeeSungwon Kang
Published in: Softw. Syst. Model. (2015)
Keyphrases
  • embedded software
  • development projects
  • management system
  • real time
  • embedded systems
  • object oriented
  • information systems
  • low cost
  • distributed systems
  • data management
  • database applications