![](/img/cover-not-exists.png)
Formal validation of intelligent-automated production systems: towards industrial applications
Hanisch, Hans Michael, Lobov, Andrei, Lastra, Jose L. Martinez, Tuokko, Reijo, Vyatkin, ValeriyVolume:
8
Year:
2006
Language:
english
Journal:
International Journal of Manufacturing Technology and Management
DOI:
10.1504/ijmtm.2006.008802
File:
PDF, 1.04 MB
english, 2006