Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jim Woodcock
conf.researchr.org general profile
FM 2026 profile
MODELS 2022 profile
Not registered as user
Name:
Jim Woodcock
Contributions
2026
FM
Committee Member in Program Committee within the Research Track-track
2022
MODELS
Author of Probabilistic modelling and verification using RoboChart and PRISM within the Journal-first-track
Share
x
Tue 10 Jun 23:37
