IEEE - Institute of Electrical and Electronics Engineers, Inc. - Reuse of components in formal modeling and verification of distributed control systems

10th IEEE International Conference on Emerging Technologies and Factory Automation

Author(s): V. Vyatkin ; H.-M. Hanisch
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.1612511
Regular:

This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring the scientific... View More

Advertisement