Login / Signup
Anton Guba
Publication Activity (10 Years)
Years Active: 2013-2016
Publications (10 Years): 1
Top Topics
Modeling Framework
Connectionist Models
Symbolic Representation
Multiscale
Top Venues
SCSS
ICTERI
ICTERI (Revised Selected Papers)
UkrPROG
</>
Publications
</>
Anton Guba
,
Olexander Kolchin
,
Stepan Potiyenko
A method for business logic extraction from legacy COBOL code of industrial systems.
UkrPROG
(2016)
Vladimir S. Peschanenko
,
Anton Guba
,
Constantin Shushpanov
Specializations and Symbolic Modeling.
ICTERI
(2013)
Vladimir S. Peschanenko
,
Anton Guba
,
Constantin Shushpanov
Specializations in Symbolic Verification.
ICTERI (Revised Selected Papers)
(2013)
Alexander A. Letichevsky
,
Alexander Godlevsky
,
Anton Guba
,
Alexander Kolchin
,
Olexander A. Letychevskyi
,
Vladimir S. Peschanenko
Usage of Invariants for Symbolic Verification of Requirements.
SCSS
(2013)