INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

May 2015
M T W T F S S
« Apr   Jun »
 123
45678910
11121314151617
18192021222324
25262728293031

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