Developing an ROV software control architecture: a formal specification approach (2012)
- Authors:
- USP affiliated authors: TAKASE, FÁBIO KAWAOKA - EP ; MARUYAMA, NEWTON - EP ; MIYAGI, PAULO EIGI - EP
- Unidade: EP
- DOI: 10.1109/IECON.2012.6389402
- Subjects: ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES; SISTEMAS AUTÔNOMOS; DESENVOLVIMENTO DE SOFTWARE
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Proceedings
- Conference titles: Annual Conference of the IEEE Industrial Electronics Society - IECON 2012
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
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: 18 abr. 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.6389402 -
NLM
Assis FH de, Takase FK, Maruyama N, Miyagi PE. Developing an ROV software control architecture: a formal specification approach [Internet]. Proceedings. 2012 ;[citado 2024 abr. 18 ] Available from: https://doi.org/10.1109/IECON.2012.6389402 -
Vancouver
Assis FH de, Takase FK, Maruyama N, Miyagi PE. Developing an ROV software control architecture: a formal specification approach [Internet]. Proceedings. 2012 ;[citado 2024 abr. 18 ] Available from: https://doi.org/10.1109/IECON.2012.6389402 - Uuv task definition using metaprogramming
- Redes de Petri auto modificáveis para sistemas de manufatura considerando falhas e procedimentos de manutenção/self-modifying petri net for manufacturing systems considering failures and maintenance processes. (em CD-Rom)
- Industrial automation and anthropocentric production systems
- The mechanical sciences and engineering research at the JBSMSE: a snapshot of the last four years
- Modeling of hybrid supervisory systems using UML and Petri Nets
- A hybrid modelling approach for HVAC system integration in intelligent buildings
- Um escalonador para sistemas de controle utilizando padrões de projeto e CSP-OZ
- A mechatronics approach for HVAC performance improvement in intelligent buildings
- Redes de Petri auto modificáveis para sistemas de manufatura considerando falhas e procedimentos de manutenção/Self-modifying Petri net for manufacturing systems considering failures and maintenance processes
- Embedded systems network
Informações sobre o DOI: 10.1109/IECON.2012.6389402 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 | Takase-2012-Developing an... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
