O curso tem por objectivo o estudo de técnicas de especificação, modelação, análise e verificação de
sistemas reactivos, com ênfase na sua composição
concorrente e no controlo da
interacção continuada com o ambiente.
Esta página dá acesso às diversas edições no curso no âmbito da
Licenciatura em Ciências da Computação da Universidade do Minho.
Luís Soares Barbosa