INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

August 2022
M T W T F S S
« Nov    
1234567
891011121314
15161718192021
22232425262728
293031  

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

Leave a Reply

You must be logged in to post a comment.