Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bassam Helal
conf.researchr.org general profile
STAF 2026 profile
Not registered as user
Name:
Bassam Helal
Affiliation:
Swansea University
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 8 Sep 05:36