Design Verification for Control Engineering.
Richard J. BoultonHanne GottliebsenRuth HardyTom KelseyUrsula MartinPublished in: IFM (2004)
Keyphrases
- engineering design
- design process
- formal verification
- functional verification
- design requirements
- control system
- software engineering
- design space
- product design
- case study
- optimum design
- mechanical engineering
- intelligent control
- quality function deployment
- high level synthesis
- model driven engineering
- engineering students
- real time control
- engineering education
- computer aided design
- conceptual design
- design decisions
- user interface