Login / Signup
Arthur Kalsing
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 2
Top Topics
Consistency Checking
Temporal Constraints
Stochastic Search
Semi Automated
Top Venues
FDL
FDL (Selected Papers)
</>
Publications
</>
Arthur Kalsing
,
Laurent Fesquet
,
Chouki Aktouf
Towards consistency checking between HDL and UPF descriptions.
FDL
(2017)
Arthur Kalsing
,
Laurent Fesquet
,
Chouki Aktouf
A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions.
FDL (Selected Papers)
(2017)