A systematized approach for obtaining a dependable structured specification for an industrial automation system

José Machado, Eurico Seabra. A systematized approach for obtaining a dependable structured specification for an industrial automation system. In IEEE 10th International Conference on Industrial Informatics, INDIN 2012, Beijing, China, July 25-27, 2012. pages 309-315, IEEE, 2012. [doi]

Abstract

Abstract is missing.