Search Results - Ostapovska , S.
Related Subjects
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
вейвлет Хаара
доведення часткової коректності
доказательство частичной корректности
инвариант
коефіцієнт використання матеріалів
композиционно-номинативные языки