
INES – National Institute of Science and Technology for Software Engineering
-
INES at ICFEM 2011
(0)Publicado em July 20th, 2011UncategorizedThe 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
ICFEM 2011, Paper
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.