Challenges and Choices in the Specification and Implementation of the STEP-NC AP-238 Standard.

Martin Hardwick David Loffredo

Published in: J. Comput. Inf. Sci. Eng. (2007)

Keyphrases

specification language
post processing
lessons learned
efficient implementation
implementation issues
real world
implementation details
technical challenges
key issues
hardware implementation
petri net
data management
information technology
database
formal verification
open issues
addressing these issues