Formal Methods && Tools Group

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
members:stefania:research [2018/02/13 10:05]
Maria Luisa Rita Trivella
members:stefania:research [2018/02/13 10:06] (current)
Maria Luisa Rita Trivella Scientific Interests
Line 23: Line 23:
   * **Methods and tools for the formal specification and verification of concurrent and mobile systems.**   * **Methods and tools for the formal specification and verification of concurrent and mobile systems.**
   * **Application of model checking techniques to complex case studies.**   * **Application of model checking techniques to complex case studies.**
-  * **Applications of Natural Language Processing techniques to Requirements Engineering.**+  * **Applications of Natural Language Processing techniques to Requirements Engineering.**\\
  </​WRAP>​  </​WRAP>​