Refining an ASM Specification of the Production Cell to C++ Code.
Luca MearelliPublished in: J. Univers. Comput. Sci. (1997)
Keyphrases
- code generation
- active shape model
- high level
- formal specification
- production system
- source code
- production planning
- control flow
- tool suite
- microscopic images
- formal verification
- production cost
- data sets
- production process
- specification language
- microscopy images
- semiconductor manufacturing
- quality control
- conceptual model
- active shape