Suggested Topics within your search.
Suggested Topics within your search.
IPCL
3
composition-nominative languages
3
concurrent program
3
formal verification
3
interleaving
3
композиционно-номинативные языки
3
композиційно-номінативні мови
3
параллельная программа
3
формальна верифікація
3
формальная верификация
3
UDC 004.415.52
2
safety property proof
2
software correctness
2
УДК 004.415.52
2
доказательство частичной корректности
2
коректність програмного забезпечення
2
корректность программного обеспечения
2
паралельна програма
2
681.3
1
Cuk перетворювач
1
DC-DC перетворювач з чергуванням
1
Peterson’s algorithm
1
UDC 004.415
1
adaptive step size
1
induction motor drive
1
interleaved Cuk converter
1
interleaved DC- DC converter
1
invariant
1
liveness property
1
maximum power point tracking
1
-
1
-
2
-
3
-
4
-
5