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: 08 set. 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 set. 08 ] 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 set. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/