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]
No references recorded for this publication.
No citations of this publication recorded.