Formal validation of intelligent-automated production systems: towards industrial applications
| Year of publication: |
2006
|
|---|---|
| Authors: | Hanisch, Hans-Michael ; Lobov, Andrei ; Lastra, Jose L. Martinez ; Tuokko, Reijo ; Vyatkin, Valeriy |
| Published in: |
International journal of manufacturing technology and management. - Milton Keynes [u.a.] : Inderscience Enterprises, ISSN 1368-2148, ZDB-ID 20374021. - Vol. 8.2006, 1-3, p. 75-106
|