INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

November 2017
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
27282930  

 
  • INES at DOCTORAL SYMPOSIUM OF FORMAL METHODS 2015

    (0)
    Publicado em May 13th, 2015Uncategorized

    José Dihego, PhD student at CIn/UFPE, will attend the DOCTORAL SYMPOSIUM OF FORMAL METHODS 2015, part of the 20TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, to present the paper entitled: “Inheritance and refinement of trustworthy component-based systems”. The conference will be held in Oslo, Norway from 22nd June to 26th June 2015.

    This activity is part of the project “Reliability and Safety in Critical Software”. More details about the publication: DIHEGO, J.. Inheritance and refinement of trustworthy component-based systems. In: Doctoral Symposium of Formal Methods, 2015, Oslo, Norway. More about the conference:

    http://fm2015.ifi.uio.no/accepted-papers/

Leave a Reply

You must be logged in to post a comment.