Subjects: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, SISTEMAS DE TEMPO-REAL, SISTEMAS EMBUTIDOS, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, UML
ABNT
POLIDO, Marcelo Figueiredo. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais. 2007. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/. Acesso em: 13 nov. 2024.APA
Polido, M. F. (2007). Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/NLM
Polido MF. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais [Internet]. 2007 ;[citado 2024 nov. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/Vancouver
Polido MF. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais [Internet]. 2007 ;[citado 2024 nov. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/