INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

January 2018
M T W T F S S
« Nov    
1234567
891011121314
15161718192021
22232425262728
293031  

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