Developing an ROV software control architecture: a formal specification approach (2012)
Source: Proceedings. Conference titles: Annual Conference of the IEEE Industrial Electronics Society - IECON 2012. Unidade: EP
Subjects: ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES, SISTEMAS AUTÔNOMOS, DESENVOLVIMENTO DE SOFTWARE
ABNT
ASSIS, Fabio Henrique de et al. Developing an ROV software control architecture: a formal specification approach. 2012, Anais.. New York: IEEE, 2012. Disponível em: https://doi.org/10.1109/IECON.2012.6389402. Acesso em: 12 set. 2024.APA
Assis, F. H. de, Takase, F. K., Maruyama, N., & Miyagi, P. E. (2012). Developing an ROV software control architecture: a formal specification approach. In Proceedings. New York: IEEE. doi:10.1109/IECON.2012.6389402NLM
Assis FH de, Takase FK, Maruyama N, Miyagi PE. Developing an ROV software control architecture: a formal specification approach [Internet]. Proceedings. 2012 ;[citado 2024 set. 12 ] Available from: https://doi.org/10.1109/IECON.2012.6389402Vancouver
Assis FH de, Takase FK, Maruyama N, Miyagi PE. Developing an ROV software control architecture: a formal specification approach [Internet]. Proceedings. 2012 ;[citado 2024 set. 12 ] Available from: https://doi.org/10.1109/IECON.2012.6389402