Manuel A. Martins -

Not registered as user yet

Name:Manuel A. Martins

Country:Portugal

Affiliation:University of Aveiro

Contributions

2024

WADT

Committee Member in Programme Committee

2019

HSB

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