On Formal Modeling of TOPPERS Embedded Software.

Yoshinobu Kawabe Nobuhiro Ito Naohiro 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