Multi-threaded computer calculations in the considered nonlinear dynamic systems von Lazarenko, S.V., Makarenko, О.S.

Volltext

Deductive verification of requirements for event-driven architecture von Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

Volltext