Fechar


Como Referenciar este Documento no Padrão INPE (Formato BibINPE)

PONTES, R. P.; VILLANI, E.; AMBROSIO, A. M. Modelagem e Verificação Formal de Software Embarcado Espacial Segundo a Norma PUS. In: CONGRESSO BRASILEIRO DE AUTOMÁTICA, 18. (CBA 2010)., 2010, Bonito. Anais... 2010. Disponível em: <http://urlib.net/ibi/J8LNKAN8RW/38NQDBP>.

Como Fazer a Citação no Texto (por autor/ano)

... como proposto por Pontes, Villani e Ambrosio (2010).
... pode ser encontrada na literatura (PONTES; VILLANI; AMBROSIO, 2010).



Fechar