Sign in

On Formal Modeling of TOPPERS Embedded Software.

Yoshinobu KawabeNobuhiro ItoNaohiro Ishii
Published in: SERA (2010)
Keyphrases
  • embedded software
  • embedded systems
  • development projects
  • sequence diagrams
  • real time
  • databases
  • high level
  • software architecture
  • database
  • database systems
  • multi agent
  • software development
  • early stage