Login / Signup
Elbouanani Soumia
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Optimization Method
Preprocessing
Dynamic Programming
Petri Net
Top Venues
UNet
</>
Publications
</>
Elbouanani Soumia
,
Ismail Assayad
,
Mohamed Sadik
Verification of SystemC Components Using the Method of Deduction.
UNet
(2017)