Vladimir S. Peschanenko
发表
Pavel Drobintsev,
Alexander A. Letichevsky,
Alexander Kolchin,
2013,
Automatic Control and Computer Sciences.
Pavel Drobintsev,
Alexander Kolchin,
Vladimir S. Peschanenko,
2015
.
Alexander A. Letichevsky,
Vladimir S. Peschanenko,
Oleksandr A. Letychevskyi,
2015,
ICTERI.
Alexander A. Letichevsky,
Vladimir S. Peschanenko,
Olexander A. Letychevskyi,
2012,
ICTERI.
Anton Guba,
Vladimir S. Peschanenko,
Constantin Shushpanov,
2013,
ICTERI.
Alexander A. Letichevsky,
Vladimir S. Peschanenko,
Oleksandr A. Letychevskyi,
2011,
ICTERI.
Alexander A. Letichevsky,
Alexander Godlevsky,
Anton Guba,
2013,
SCSS.
Anton Guba,
Vladimir S. Peschanenko,
Constantin Shushpanov,
2013
.
Alexander A. Letichevsky,
Vladimir S. Peschanenko,
Oleksandr A. Letychevskyi,
2017,
2017 IEEE 25th International Requirements Engineering Conference Workshops (REW).
Vladimir S. Peschanenko,
Oleksandr A. Letychevskyi,
Maksym Poltorackiy,
2017,
ICTERI.
The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification
Yulia Tarasich,
Vladimir S. Peschanenko,
Michael Lvov,
2017,
ICTERI.
Alexander A. Letichevsky,
Vladimir S. Peschanenko,
Olexander A. Letychevskyi,
2011,
Ershov Memorial Conference.
Alexander A. Letichevsky,
Vladimir S. Peschanenko,
O. O. Letychevskyi,
2015
.
Alexander A. Letichevsky,
Pavel Drobintsev,
Alexander Kolchin,
2015
.
Alexander A. Letichevsky,
Vladimir S. Peschanenko,
A. B. Godlevsky,
2010
.