INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

March 2019
M T W T F S S
« Nov    
 123
45678910
11121314151617
18192021222324
25262728293031

 
  • INES at ICFEM 2011

    (0)
    Publicado em July 20th, 2011Uncategorized

    The PhD studend Joabe Jesus, INES researcher member 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 13th International Conference on Formal Engineering Methods [ICFEM] that will be in Durham, UK, from 26 to October 28.

    Publication details
    Authors: Joabe Jesus, Alexandre Mota and Augusto Sampaio.
    Title: Architectural Verification of Control Systems Using CSP

    ,