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