Login / Signup
Sybren Roede
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Neural Network
Statistical Model
Parameter Estimation
Control Flow
Top Venues
FACS
</>
Publications
</>
Dragan Bosnacki
,
Mark van den Brand
,
Joost Gabriels
,
Bart Jacobs
,
Ruurd Kuiper
,
Sybren Roede
,
Anton Wijs
,
Dan Zhang
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.
FACS
(2015)