Login / Signup
Miroslav Siro
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Computer Assisted Language Learning
Manual Inspection
Transition Model
Computer Aided
Top Venues
DDECS
</>
Publications
</>
Miroslav Siro
,
Dominik Macko
,
Katarina Jelemenska
PMS2UPF: An automated transition from ESL to RTL power-intent specification.
DDECS
(2017)