INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

November 2021
M T W T F S S
« Nov    
1234567
891011121314
15161718192021
22232425262728
2930  

 
  • INES at ICFEM 2014

    (0)
    Publicado em September 5th, 2014Uncategorized
    Gustavo Carvalho, researcher at INES, will attend the 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS (ICFEM 2014) to present the paper entitled: “A Formal Model for Natural-Language Timed Requirements of Reactive Systems”. The conference will be held in Luxembourg, Luxembourg from 3rd November to 7th November 2014.
    This activity is part of the project “Reliability and Safety in Critical Software”. More details about the publication: CARVALHO, G.; CARVALHO, A.; ROCHA, E.; SAMPAIO, A.; CAVALCANTI, A.. A Formal Model for Natural-Language Timed Requirements of Reactive Systems. In: International Conference on Formal Engineering Methods, 2014, Luxembourg.

Leave a Reply

You must be logged in to post a comment.