How to Make the Citation of this Document using the INPE Standard (BibINPE Format)
AMBROSIO, A. M.; JULIO FILHO, A. C.; TIKAMI, A. Validation of de Satellite Speed Measurement System with the use of formal methods for Test case generation: one experiment. In: LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING, 6. (LADC'2013)., 2013, Rio de Janeiro. Proceedings... 2013. DVD.
How to Make the In-Text Citation (by author/year)
... as proposed by Ambrosio, Julio Filho and Tikami (2013).
... may be found in the literature (AMBROSIO; JULIO FILHO; TIKAMI, 2013).