INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

May 2018
M T W T F S S
« Nov    
 123456
78910111213
14151617181920
21222324252627
28293031  

 
  • Contratação de novo bolsista

    (0)
    Publicado em March 22nd, 2010Uncategorized

    O projeto “Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real” amplia suas atividades e contrata Elton Renan Magalhães Alves como pesquisador bolsista.  Elton será responsável por liderar a atividade “Exploração sistemática de estados para o teste de sistemas concorrentes” sob responsabilidade de Marcelo dAmorim (CIn-UFPE).

Leave a Reply

You must be logged in to post a comment.