Preface of the special issue on the Conference on Formal Methods in Computer-Aided Design 2017.
Daryl StewartGeorg WeissenbacherPublished in: Formal Methods Syst. Des. (2021)
Keyphrases
- special issue
- formal methods
- computer aided design
- solid models
- computer aided
- object oriented
- cad cam
- ai edam
- selected papers
- reverse engineering
- formal specification
- computer graphics
- ecml pkdd
- artificial intelligence
- safety critical
- international workshop
- software engineering
- knowledge based systems
- process planning
- international journal
- design process
- model checking
- cad model
- applied intelligence
- papers included
- modeling language
- international conference
- invited talk
- computer vision
- development lifecycle
- real world
- formal specification language
- industrial parts
- knowledge discovery and data mining
- pattern recognition