Suchergebnisse - Ostapovska , S.
- Treffer 1 - 5 von 5
-
1
PULSE METHOD FOR CONTROLLING THE CURRENT STATE OF CHARGE OF ELECTROCHEMICAL ENERGY STORAGE von Plaksin , S., Zhitnik , M., Levchenko , R., Ostapovska , S.
Veröffentlicht 2025Volltext
Artikel -
2
-
3
-
4
Correctness Property Proof for the Banking System for Money Transfer Payments von Yu. A. Ostapovska, T. V. Panchenko, N. V. Polishchuk, M. O. Kartavov
Veröffentlicht 2016Volltext
Artikel -
5
Correctness Property Proof for the Banking System for Money Transfer Payments von Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.
Veröffentlicht 2018Volltext
Artikel
Suchwerkzeuge:
Ähnliche Schlagworte
electrochemical energy storage
response signal
електрохімічний накопичувач енергії
сигнал відгуку
імпульсний гальваностатичний метод
Haar wavelet
IPCL
UDC 004.415.52
composition-nominative languages
concurrent program
current state of charge
energy storage
formal verification
generalized energy index
interleaving
invariant
kinetic parame- ters
material utilization ratio
pulse control methods
pulse galvanostatic method
pulsed galvanostatic method
safety property proof
software correctness
УДК 004.415.52
вейвлет Хаара
доведення часткової коректності
доказательство частичной корректности
инвариант
коефіцієнт використання матеріалів
композиционно-номинативные языки