Verification of distributed control systems in intelligent manufacturing

Valeriy Vyatkin, Hans-Michael Hanisch. Verification of distributed control systems in intelligent manufacturing. J. Intelligent Manufacturing, 14(1):123-136, 2003. [doi]

Abstract

Abstract is missing.