INES - National Institute of Science and Technology for Software Engineering
INES at FMi 2015(0)Publicado em July 8th, 2015About the InstituteThe 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, “Conﬁabilidade 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.conferencias, Eventos, pesquisa, publicacoes
Leave a Reply
You must be logged in to post a comment.