Login / Signup

On systematic design of globally consistent executable assertions in embedded software.

Arshad JhumkaMartin HillerVilgot ClaessonNeeraj Suri
Published in: LCTES-SCOPES (2002)
Keyphrases
  • embedded software
  • globally consistent
  • software architecture
  • embedded systems
  • real time
  • case study
  • development projects
  • software systems
  • sequence diagrams