Login / Signup
Ioannis Syranidis
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Formal Methods
Low Voltage
Analog To Digital Converter
Knowledge Acquisition
Top Venues
DAC
</>
Publications
</>
Vladimir Dubikhin
,
Chris J. Myers
,
Danil Sokolov
,
Ioannis Syranidis
,
Alexandre Yakovlev
Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited.
DAC
(2017)