|
Автор: Летический А.А., Годлевский А.Б., Летичевский А.А.мл., Потиенко С.В., Песчаненко В.С.
-
Анотація:
Розглянуто моделі, записані в мові базових протоколів. Вони є атрибутними транзиційними системами, а їх стани задаються формулами багатосортного численні предикатів першого порядку над атрибутами системи.
-
Є складовою частиною документа:
-
Теми документа
-
УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
| 