Survey on modern tools and methods of formal models verification by Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

Get full text

А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment by Zubok, V. Yu.

Get full text

A resource limited parallel program model by Rahozin, D.V.

Get full text

An automated analysis of the patient’s condition and assessment of medical sessions (hypoxic therary). by Poliagushko, L. G.

Get full text

Generation of multipurpose formal models from legacy code by Potiyenko, S.V., Kolchin, A.V.

Get full text