INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

May 2022
M T W T F S S
« Nov    
 1
2345678
9101112131415
16171819202122
23242526272829
3031  

 
  • INES at SBMF 2011

    (0)
    Publicado em August 5th, 2011Uncategorized

    The MSc studend Diego Machado and the professor Juliano Iyoda, INES researchers members from the project Tests Generation, Selection, Prioritization and Processing Product Line — in portuguese, Linhas de Produtos de Geração, Seleção, Priorização e Processamento de Testes, has an accepted paper at the XIV Brazilian Symposium on Formal Methods (SBMF 2011) in the II Brazilian Conference on Software (CBSoft 2011), that will be in São Paulo, SP, from 26 to September 30.

    Publication details
    Authors: Diego Machado Dias and Juliano Manabu Iyoda.
    Title: Behavioural Preservation in Fault Tolerant Patterns.

    , ,

Leave a Reply

You must be logged in to post a comment.