Verification and Anomaly Detection for Event-Based Control of Manufacturing Systems

Paperback / softback