Login / Signup
Behavioral Verification in Hichart Development Environment for Embedded Software.
Takaaki Goto
Yasunori Shiono
Tetsuro Nishino
Takeo Yaku
Kensei Tsuchida
Published in:
ACIS-ICIS (2010)
Keyphrases
</>
development environment
embedded software
development projects
development process
embedded systems
software architecture
application development
database server
software development
website
software projects
sequence diagrams
database
data mining
user interface
distributed systems