|
СТ |
Комбинированное средство верификации распределенных вычислительных систем реального времени |
2015 |
Волканов Д. Ю., Захаров В. А., Зорин Д. А., Подымов В. В., Коннов И. В. |
|
|
|
Программирование |
12.01.2016 |
|
СТ |
Эффективные алгоритмы и их программные реализации |
2000 |
Кузюрин Н. Н., Захаров В. А., Холодов А. Н., Шабанов Л. В., Шокуров А. В. |
|
|
|
Труды Института системного программирования, 1999 г. |
07.07.2001 |
|
СТ |
Эффективные алгоритмы проверки выполнимости формул темпоральной логики CTL на модели и их применение для верификации параллельных программ |
1998 |
Захаров В. А., Царьков Д. В. |
|
|
|
Программирование |
23.09.1998 |
|
СТ |
О взаимосвязи двух семантик параллельных вычислений |
1997 |
Захаров В. А., Спанопуло В. В. |
|
|
|
Программирование |
26.11.1997 |
|
СТ |
О свободных схемах в формальных моделях программм |
1994 |
Захаров В. А. |
|
|
|
Математические вопросы кибернетики |
12.09.1995 |
|
СТ |
О преобразовании операторных процедур в логические программы |
1994 |
Захаров В. А., Маневич С. И. |
|
|
|
Программирование |
24.01.1995 |
|
СТ |
Условия сглаживаемости операторных формальных моделей программ |
1994 |
Захаров В. А. |
|
|
|
Программирование |
26.11.1994 |
|
СТ |
Об одном критерии сравнимости операторных формальных моделей программ |
1993 |
Захаров В. А. |
|
|
|
Программирование |
24.12.1993 |
|
СТ |
Формальные модели и свободные схемы программ |
1992 |
Захаров В. А. |
|
|
|
Программирование |
10.06.1992 |
|
А |
О функциональной эквивалентности и эквивалентных преобразованиях машин Тьюринга |
1986 |
Захаров В. А. |
|
|
|
|
01.04.1987 |
