Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tom Werner
conf.researchr.org general profile
STAF 2026 profile
Not registered as user
Name:
Tom Werner
Affiliation:
Siemens Mobility
Contributions
2026
WADT
Author of Trustworthy Railway Verification based upon the IC3 algorithm: From Black Box to Glass Box within the WADT 2026-track
Share
x
Tue 28 Jul 20:59