| |
| 2006 | ||
|---|---|---|
| 3 | EE | Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch: Modelling and Verification of IEC 61499 Applications using Prolog. ETFA 2006: 774-781 |
| 2 | EE | 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) |
| 2005 | ||
| 1 | Victor Dubinin, Valeriy Vyatkin, Thomas Pfeiffer: Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499. ICRA 2005: 3996-4001 | |
| 1 | Hans-Michael Hanisch | [2] [3] |
| 2 | Sirko Karras | [2] |
| 3 | Thomas Pfeiffer | [1] [2] |
| 4 | Valeriy Vyatkin | [1] [2] [3] |