C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Rigorous model-based design & verification flow for in-vehicle software.
S. Ramesh
Ambar A. Gadkari
Published in:
DAC (2011)
Keyphrases
</>
software design
user interface
software architecture
software systems
case study
real time
design concepts
source code
formal verification
design process
hardware design
formal methods
highly modular
design tools
design methodology
model checking
petri net
software development
object oriented
mobile robot