Login / Signup
Karim Barsim
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Decision Trees
Computing Systems
High Level
Top Venues
CoRR
</>
Publications
</>
David Reeb
,
Kanil Patel
,
Karim Barsim
,
Martin Schiegg
,
Sebastian Gerwinn
Validation of Composite Systems by Discrepancy Propagation.
CoRR
(2022)