Verification of Operation Sequences in Process Simulate by Connecting a Formal Verification Tool
Paper in proceeding, 2009
Virtual production
Formal verification
Production preparation
Discrete event systems
Author
Petter Falkman
Chalmers, Signals and Systems, Systems and control
F. Westman
C. Modig
Ieee
2009 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, Christchurch, NEW ZEALAND, DEC 09-11, 2009
Vol. 1-3 1207-1212
978-1-4244-4706-0 (ISBN)
Subject Categories
Electrical Engineering, Electronic Engineering, Information Engineering
ISBN
978-1-4244-4706-0