Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jim Woodcock
conf.researchr.org general profile
MODELS 2022 profile
Not registered as user yet
Name:
Jim Woodcock
Contributions
2022
MODELS
Author of Probabilistic modelling and verification using RoboChart and PRISM within the Journal-first-track
Share
x
Sun 10 Dec 21:53