Graduation details

  • [PhD] - Modeling and Verification of Functional and Non Functional Requirements of Ambient, Self-Adaptive Systems
  • Oct 2013 - Jan 1900
  • 7 Oct 2013
  • 1 Jan 1900
  • Manzoor Ahmad
  • Jean Michel Bruel
  • João Araújo