An Ontology Based Approach to Action Verification for Agile Manufacturing.

Stephen Balakirsky Zeid Kootbally

Published in: RiTA (2013)

Keyphrases

model checking
manufacturing systems
software development
quality control
manufacturing processes
data sets
human actions
concurrent systems
action selection
formal verification
manufacturing industry
action descriptions
cell formation
asynchronous circuits
manufacturing process
project management
image sequences