Login / Signup
Interactive presentation abstract: Assertion-based verification in embedded-software design.
Giuseppe Di Guglielmo
Luigi Di Guglielmo
Franco Fummi
Graziano Pravadelli
Published in:
HLDVT (2011)
Keyphrases
</>
embedded software
embedded systems
software architecture
user interface
design process
goal oriented
product design
development projects
sequence diagrams
databases
information systems
low level