RFID and XBee based automated verification of put-away operation for Warehouse Management Systems.

Burcu Bektas Hayriye Korkmaz

Published in: ISDA (2015)

Keyphrases

management system
automated verification
model checking
automated reasoning
formal verification
data collection
data warehouse
low cost
temporal logic
database management systems
supply chain
graph theory
artificial intelligence
knowledge representation
expert systems
rfid reader
search algorithm