INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

February 2017
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
2728  

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