INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

November 2017
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
27282930  

 
  • Projeto “Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real” recebe visitante

    (0)
    Publicado em June 26th, 2009News

    O projeto “Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real” (resumo aqui) recebe visita da Profa. Ana Cavalcanti para apoiar na pesquisa relativa às atividades de “Verificação Formal da Confiabilidade de Sistemas Tolerante a Falhas”.  Trabalho apoiado pelo grupo de safety assessment da Embraer.

Leave a Reply

You must be logged in to post a comment.