Login / Signup
Hossein Rostami
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Real World
Model Checking
Semi Automatic
Website
Top Venues
IOLTS
</>
Publications
</>
Hossein Rostami
,
Mostafa Hosseini
,
Ali Azarpeyvand
,
Mohammad Reza Heidari Iman
,
Tara Ghasempouri
Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification.
IOLTS
(2024)