TCTL-Based Verification of Industrial Processes.

Anaheed Ayoub Ayman M. Wahba Ashraf M. Salem Mohamed A. Sheirah

Published in: FDL (2003)

Keyphrases

industrial processes
industrial process
fault detection
quality improvement
fault detection and isolation
model checking
welding process
data warehouse
real time
real world
quality assurance