INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

June 2021
M T W T F S S
« Nov    
 123456
78910111213
14151617181920
21222324252627
282930  

 
  • INES at SBCARS 2011

    (0)
    Publicado em August 10th, 2011Uncategorized

    The INES project will be present in the Brazilian Symposium on Software Components, Architectures and Reuse – SBCARS 2011 –  through the regular paper
    “Diretrizes para Modelagem Independente de Plataforma de Sistemas de Tempo Real Usando UML”, authored by Everton L. G. Alves, Patrícia D. L. Machado and Franklin S. Ramalho.

    This work was developed inside the project Combining Formal Methods and Testing to Develop Embedded Real Time Systems — in Portuguese, Combinando Técnicas de Métodos Formais e Teste na Construção de Sistemas Embarcados de Tempo Real.

Leave a Reply

You must be logged in to post a comment.