INES – National Institute of Science and Technology for Software Engineering

INES at ICFEM’16 – 18th International Conference on Formal Engineering Methods

The researcher Marcel Oliveira, from UFRN, will attend the ICFEM’16 – 18th International Conference on Formal Engineering Methods that will take place in Tokyo, Japan, from the 14th to the 18th of November 2016. He will present the paper “Local Livelock Analysis of Component-Based Models”.