Sign in

Automatic Synthesis and Verification of Real-Time Embedded Software.

Pao-Ann HsiungShang-Wei Lin
Published in: EUC (2004)
Keyphrases
  • embedded software
  • real time
  • embedded systems
  • software architecture
  • development projects
  • low cost
  • sequence diagrams
  • control system
  • software engineering
  • early stage