Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alvaro Miyazawa
conf.researchr.org general profile
MODELS 2022 profile
Not registered as user yet
Name:
Alvaro Miyazawa
Contributions
2022
MODELS
Author of Probabilistic modelling and verification using RoboChart and PRISM within the Journal-first-track
Share
x
Tue 3 Dec 17:52