Standardizing the specification, verification, and exchange of product geometry: Research, status and trends.
Vijay SrinivasanPublished in: Comput. Aided Des. (2008)
Keyphrases
- formal verification
- model checking
- asynchronous circuits
- formal methods
- three dimensional
- life cycle
- protocol specification
- formal specification
- information exchange
- product design
- verification method
- specification language
- trend detection
- product quality
- geometric structure
- signature verification
- neural network
- reactive systems
- user defined
- colored petri nets
- concurrent systems
- information sharing
- high level
- euclidean geometry