IEEE - Institute of Electrical and Electronics Engineers, Inc. - On controller and plant modeling for model-based formal verification

10th IEEE International Conference on Emerging Technologies and Factory Automation

Author(s): A. Lobov ; J.L.M. Lastra ; R. Tuokko
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Catania, Italy
Conference Date: 19 September 2005
Volume: 1
ISBN (Paper): 0-7803-9401-1
DOI: 10.1109/ETFA.2005.1612510
Regular:

The acceptance of formal methods in industry is a challenging task mainly due to difficult learning process and the lack of the tools and methods helping control engineer to interpret the results... View More

Advertisement