Multi-threaded computer calculations in the considered nonlinear dynamic systems за авторством Lazarenko, S.V., Makarenko, О.S.

Отримати повний текст

Deductive verification of requirements for event-driven architecture за авторством Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

Отримати повний текст