Equivalence of two parallel execution systems by Panchenko, T.V., Fabunmi, S.

Get full text

On the peculiarities of using sparse matrices in problems of mathematical modeling by Khimich, O.M., Popov, A.V., Chystiakov, О.V.

Get full text

An approach of intelligent searching of information in texts by Chebanuyk, O.V.

Get full text

Peterson’s algorithm Total correctness proof in IPCL by Zhygallo, A.A.

Get full text

Agile requirement analysis approach using artificial intelligent technologies by Chebanyuk, O.V.

Get full text

Formal verification of deep neural networks by Panchuk, B.O.

Get full text

Formal foundations for software model to model transformation operation by Chebanyuk, O.V.

Get full text