INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

October 2017
M T W T F S S
« Nov    
 1
2345678
9101112131415
16171819202122
23242526272829
3031  

 
  • INES at FMi 2015

    (0)
    Publicado em July 8th, 2015About the Institute
    The paper “A lattice-based representation of temporal failures” was accepted for publication at 3rd IEEE International Workshop on Formal Methods Integration (FMi), part of the 16th IEEE International Conference on Information Reuse and Integration.
    This activity is part of the project  ”Reliability and Safety in Critical Software” (In portuguese, “Confiabilidade e Segurança em Software Crítico”).
    More details about the publication: Didier, A. L. R; Mota, A. A lattice-based representation of temporal failures, 3rd IEEE International Workshop on Formal Methods Integration (FMi), San Francisco, CA, U.S., 2015.
    , , ,

Leave a Reply

You must be logged in to post a comment.