Login / Signup
Debasmita Lohar
ORCID
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 6
Top Topics
Formal Methods
Floating Point
Lookup Table
Control Software
Top Venues
ACM Trans. Embed. Comput. Syst.
SETTA
ISSRE Workshops
EMSOFT Companion
</>
Publications
</>