Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Torin Viger
conf.researchr.org general profile
ICSE 2022 profile
MODELS 2020 profile
Registered user since Wed 7 Oct 2020
Name:
Torin Viger
Contributions
2022
FormaliSE
Presenter of Formally validating Model-Based Safety Assurance Cases within the FormaliSE 2022-track
2020
MODELS
Author of MMINT-A 2.0: Tool Support for Lifecycle of Model-Driven Safety Artifacts within the Technical Track-track
Share
x
Mon 18 Nov 01:17