А |
Семантика и алгоритмическая логика для программ с операторами перехода |
1981 |
Ломазова И. А. |
|
|
|
|
08.06.1981 |
СТ |
Аксиоматизация тотальной корректности программ с операторами перехода |
1980 |
Ломазова И. А. |
|
|
|
Теоретические основы компиляции |
16.12.1992 |
СТ |
Пошаговая разработка корректных программ посредством процедурной реализации абстрактных типов данных |
1986 |
Ломазова И. А. |
|
|
|
Новые методы конструирования программ |
19.12.1992 |
СТ |
Каузальная семантика для сетей петри с контактами |
1999 |
Ломазова И. А. |
|
|
|
Программирование |
29.10.1999 |
СТ |
Рекурсивные вложенные сети Петри: анализ семантических свойств и выразительность |
2001 |
Ломазова И. А. |
|
|
|
Программирование |
05.11.2001 |
СТ |
Объектно-ориентированные сети Петри: формальная семантика и анализ |
2002 |
Ломазова И. А. |
|
|
|
Системная информатика |
22.03.2003 |
М |
Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой |
2004 |
Ломазова И. А. |
|
|
|
|
28.12.2004 |
СТ |
Моделирование мультиагентных систем с помо ью обоб енных сетей активных ресурсов |
2011 |
Башкин В. А., Ломазова И. А. |
|
|
|
Кибернетика и системный анализ |
14.05.2011 |
СТ |
Автоматическое построение систем распределенных компонентов по моделям вложенных сетей Петри |
2016 |
Дворянский Л. В., Ломазова И. А. |
|
|
|
Программирование |
22.11.2016 |