Verification of Operation Sequences in Process Simulate by Connecting a Formal Verification Tool
Paper i proceeding, 2009
Virtual production
Formal verification
Production preparation
Discrete event systems
Författare
Petter Falkman
Chalmers, Signaler och system, System- och reglerteknik
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)
Ämneskategorier
Elektroteknik och elektronik
ISBN
978-1-4244-4706-0