Login / Signup
Adina Aniculaesei
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 10
Top Topics
Formal Methods
Software Engineering
Urban Environments
Autonomous Systems
Top Venues
CoRR
VST@SANER
SAST
V2CPS@IFM
</>
Publications
</>