Login / Signup
Sina Borrami
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Control System
Formal Methods
Safety Analysis
Multiple Models
Top Venues
RSSRail
TiCSA@ETAPS
QRS Companion
</>
Publications
</>