External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Rapid engineering and re-configuration of automation objects aided by formal modelling and verification

Valeriy Vyatkin, Hans-Michael Hanisch, Sirko Karras, Thomas Pfeiffer, Victor Dubinin. Rapid engineering and re-configuration of automation objects aided by formal modelling and verification. IJMR, 1(4):382-404, 2006. [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

Sirko Karras

This author has not been identified. Look up 'Sirko Karras' in Google

Thomas Pfeiffer

This author has not been identified. Look up 'Thomas Pfeiffer' in Google

Victor Dubinin

This author has not been identified. Look up 'Victor Dubinin' in Google
runs on