Сonditional printed sheet Approved for publication by the Academic Council of ONPU on the issue publication (Protocol No. 8 dated December, 23, 2019)

Recommended for publication by the Academic Council of the Institute of Computer Systems of ONPU (Protocol No. 8 dated December, 4, 2019)

DOI: https://doi.org/10.15276/aait

Vol. 2 No. 4 (2019)

“Applied Aspects of Information Technology”

Table of Contents

Method for constructing the model of computing process based on Petri net

Oleg N. Paulin, Nataliia O. Komleva, Stanislav U. Marulin, Anatolii O. Nikolenko


260-270

How to cite

Blending functionally defined surfaces

Olexandr N. Romanyuk, Sergey I. Vyatkin, Svitlana G. Antoshchuk, Pavlo I. Mykhaylov, Roman Y. Chekhmestruk


271-282

How to cite

DP: A lightweight library for teaching differentiable programming

Christian Herta, Klaus Strohmenger, Oliver Fischer, Diyar Oktay


283-294

How to cite

Behavioral verification of internet of things systems by Petri nets

Oleksandr N. Martynyuk, Oleksandr V. Drozd, Sergey A. Nesterenko, Tamem Ahmesh


295-303

How to cite

Published: 2019-12-25

2663-7731 (Online)
ISSN 2663-0176 (Print)