![](/img/cover-not-exists.png)
[IEEE IECON 2012 - 38th Annual Conference of IEEE Industrial Electronics - Montreal, QC, Canada (2012.10.25-2012.10.28)] IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society - Developing an ROV software control architecture: A formal specification approach
de Assis, Fabio Henrique, Takase, Fabio Kawaoka, Maruyama, Newton, Miyagi, Paulo EigiYear:
2012
Language:
english
DOI:
10.1109/IECON.2012.6389402
File:
PDF, 628 KB
english, 2012