Specification and design of electronic control units.
Jürgen BortolazziThomas HirthThomas RaithPublished in: EURO-DAC (1996)
Keyphrases
- control program
- control unit
- optimal design
- case study
- design process
- software design
- databases
- real time
- high level
- design automation
- high level synthesis
- real time control
- formal verification
- intelligent control
- formal methods
- optimal control
- user experience
- business processes
- building blocks
- software engineering
- information retrieval