INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

January 2022
M T W T F S S
« Nov    
 12
3456789
10111213141516
17181920212223
24252627282930
31  

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

    (0)
    Publicado em July 14th, 2016Uncategorized

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

Leave a Reply

You must be logged in to post a comment.