![](/img/cover-not-exists.png)
[IEEE 2005 IEEE Conference on Emerging Technologies and Factory Automation - Catania, Italy (19-22 Sept. 2005)] 2005 IEEE Conference on Emerging Technologies and Factory Automation - On Controller and Plant Modeling for Model-based Formal Verification
Lobov, A., Martinez Lastra, J.L., Tuokko, R.Volume:
1
Year:
2005
Language:
english
DOI:
10.1109/etfa.2005.1612510
File:
PDF, 1.62 MB
english, 2005