INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

September 2021
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
27282930  

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