Formal reduction of interfaces to large-scale process control systems

Walter Hussak, Shuang-Hua Yang. Formal reduction of interfaces to large-scale process control systems. Int. J. Autom. Comput., 4(4):413-421, 2007. [doi]

Abstract

Abstract is missing.