INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

May 2019
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
2728293031  

 
  • 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

    ,

Leave a Reply

You must be logged in to post a comment.