Not registered as user yet

Name: Eugénio A. M. Rocha

Affiliation: University of Aveiro

Contributions

HSB 2019Author of rPrism -- A software for reactive weighted state transition models within the HSB-track