INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

September 2017
M T W T F S S
« Nov    
 123
45678910
11121314151617
18192021222324
252627282930  

 
  • INES researchers at SBMF 2009

    (0)
    Publicado em September 1st, 2011Uncategorized

    UFRN-affiliated INES researchers David Deharbe, Stephenson Galvão and Anamaria Martins Moreira have presented  their work titled Formalizing FreeRTOS: First Steps at the 12th Brazilian Symposium on Formal Methods (SBMF 2009). This paper is now available through this link.

Leave a Reply

You must be logged in to post a comment.