Login / Signup
Holger Gross
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Computationally Expensive
Machine Learning Methods
Model Checking
Artificial Neural Networks
Top Venues
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
</>
Publications
</>
Marcel Pockrandt
,
Paula Herber
,
Holger Gross
,
Sabine Glesner
Optimized Transformation and Verification of SystemC Methods.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
53 (2012)