Analysis of suitable converter for the implementation of drive system in solar photovoltaic panels von Themozhi, G., Srinivasan, K., Arun Srinivas, T., Prabha, A.

Volltext

Correctness Property Proof for the Banking System for Money Transfer Payments von Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

Volltext

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

Volltext

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

Volltext

New adaptive modified perturb and observe algorithm for maximum power point tracking in photovoltaic systems with interleaved boost converter von Makhlouf, M., Laouar, O.

Volltext