INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

June 2010
M T W T F S S
« May   Jul »
 123456
78910111213
14151617181920
21222324252627
282930  

 
  • INES presence at SAFECOMP 2010

    (0)
    Publicado em June 2nd, 2010Uncategorized

    Alexandre Mota, lecturer of the Centro de Informática-UFPE, member of the project Combining techniques of formal methods and testing for the construction of real-time embedded systems of INES, has the paper entitled “Evolving a Safe System Design Iteratively” accepted for publication at the 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2010). He is going to present this work in the period Sept, 14-17th, 2010, in Vienna-Austria.  Further information about this conference can be found at http://www.ocg.at/safecomp2010/.