IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verification of operation sequences in process simulate by connecting a formal verification tool

2009 IEEE International Conference on Control and Automation (ICCA)

Author(s): Falkman, P. ; Westman, F. ; Modig, C.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2009
Conference Location: Christchurch, New Zealand, New Zealand
Conference Date: 9 December 2009
Page(s): 1,207 - 1,212
ISBN (CD): 978-1-4244-4707-7
ISBN (Paper): 978-1-4244-4706-0
DOI: 10.1109/ICCA.2009.5410330
Regular:

It is very advantages to use virtual techniques for testing and developing new hardware and software systems. It is cost effective since no real machine or manufactory system is needed. It is safe... View More

Advertisement