Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Carlos Isasa
conf.researchr.org general profile
ACSOS 2024 profile
ICSE 2026 profile
Registered user since Fri 16 Aug 2024
Name:
Carlos Isasa
Contributions
2026
FormaliSE
Committee Member in Artifact Evaluation Committee Members within the Artifact Track-track
2024
ACSOS
Author of Runtime Verification of Autonomous Systems utilizing Digital Twins as a Service within the Tutorials-track
Share
x
Wed 21 Jan 07:26