Sign in

Formal Design and Verification of Real-Time Embedded Software.

Pao-Ann HsiungShang-Wei Lin
Published in: APLAS (2004)
Keyphrases
  • embedded software
  • real time
  • software architecture
  • formal methods
  • case study
  • design process
  • development projects
  • low cost
  • embedded systems