You are here

Eduardo Jose Dias Pessoa defends dissertation "Parallel verification of Dynamic Systems with Rich Configurations"

The defense of the Master thesis in Mestrado em Engenharia Informática submitted by Eduardo Jose Dias Pessoa, and entitled "Parallel verification of Dynamic Systems with Rich Configurations", will take place on December 09, 2016 by 11:00 in room DI-A2 the Department of Informatics. This event is public and open to all interested.
The examining committee is the following:

  • Pedro Manuel Rangel Santos Henriques - head
  • Simão Patrício Melo de Sousa - oppenent
  • Nuno F. M. Macedo - supervisor.
home contacts RSS Feed last update: 06-Dec-2019 share facebook
Drupal theme by D7 ver.1.1