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]

Authors

Valeriy Vyatkin

This author has not been identified. Look up 'Valeriy Vyatkin' in Google

Hans-Michael Hanisch

This author has not been identified. Look up 'Hans-Michael Hanisch' in Google