Login / Signup
Alexandra Halchin
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 4
Top Topics
Safety Analysis
Modeling Framework
Formal Proof
Node Density
Top Venues
RSSRail
TASE
Sci. Comput. Program.
WISATS
</>
Publications
</>