Login / Signup

Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.

Jun HuXiaofeng YuYan ZhangTian ZhangXuandong LiGuoliang Zheng
Published in: EUC (2005)
Keyphrases
  • embedded software
  • embedded systems
  • development projects
  • software architecture
  • sequence diagrams
  • high level
  • formal specification