Login / Signup
S. Ramesh
Publication Activity (10 Years)
Years Active: 2007-2022
Publications (10 Years): 5
Top Topics
Linear Temporal Logic
Verification Method
Formal Model
Product Lines
Top Venues
CACSD
Formal Aspects Comput.
Softw. Test. Verification Reliab.
J. Syst. Softw.
</>
Publications
</>