Reuse of components in formal modeling and verification of distributed control systems.

Valeriy Vyatkin, Hans-Michael Hanisch

Browse the full ETFA paper archive.