Колчин А. В., Летичевский А. А., Потиенко С. В.
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
Вид документа: Стаття періодики
Автор: Колчин А. В., Летичевский А. А., Потиенко С. В. Вид автора: персона
Мова: Російська Обсяг: С. 146-150
Шифр: 004.415.5 УДК: 004.415.5
| Аннотацiя: | Описан метод выявления патологий формальных моделей. |
Є складовою частиною документа: Проблеми програмування
| | Назва головного документа: | Проблеми програмування |
| | Дата видання головного документа: | 2014 |
| | Номер частини головного документа: | № 2-3 |
Теми документа
|
