Verification and Timing Analysis of Industry 4.0 Warehouse Automation Workflows.

Ajay Kattepur Arijit Mukherjee Balamuralidhar P.

Published in: ETFA (2018)

Keyphrases

grid workflow
workflow management systems
data warehouse
data processing
case study
web services
model checking
business process
management system
data management
world wide
fastest growing
databases
fingerprint verification
workflow management
formal verification
market share
concurrent systems
data mining