Login / Signup

ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems.

Alexandre DavidKim Guldstrand LarsenAxel LegayUlrik NymanAndrzej Wasowski
Published in: ATVA (2010)
Keyphrases
  • real time systems
  • real time
  • embedded systems
  • real time embedded
  • design process
  • case study
  • user interface