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 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

    ,