Pinned Repositories
arcalab.github.io
Website for ARCA - a research team from HASLab, Dep. Informatics, University of Minho, Portugal.
clav
LEI 1819 - CLAV Modelação e Especificação do Modelo Formal
Tese
LEI_2019_Uminho
Repositório do projeto de Laboratório de Engenharia Informática 2018-2019
QAIS
Quantitative Analysis of Interacting Systems
jno
jno.github.io
QAIS
Quantitative Analysis of Interacting Systems
UniFormal
Developent repository for the UniFormal language
JoseNunoOliveira's Repositories
JoseNunoOliveira/jno
JoseNunoOliveira/jno.github.io
JoseNunoOliveira/QAIS
Quantitative Analysis of Interacting Systems
JoseNunoOliveira/UniFormal
Developent repository for the UniFormal language