| Добавлено вручную |
Электронный |
Дубинин В. Н., Вяткин В. В. Верификация приложений IEC 61499 на основе метода Model Checking // Известия высших учебных заведений. Поволжский регион. Технические науки / гл. ред. В.И. Волчихин - Пенза: Пензенский государственный университет, 2011. - № 3(19). – С. 44 – 55. |
|
Ссылка
|
| Каталог ТТИ |
Печатный |
Карпов Ю. Г. MODEL CHECKING. Верификация параллельных и распределенных программных систем [Текст] - СПб.: БХВ-Петербург, 2010. - 551 с. |
2010 |
1
-
Таганрог, ул. Чехова 22А
1
|
| ЭБС Biblioclub |
Электронный |
Синицын С. В. Верификация программного обеспечения / С.В. Синицын; Н.Ю. Налютин - Москва: Интернет-Университет Информационных Технологий, 2007. - 367 с. |
2007 |
Ссылка
|
| ЭБС Biblioclub |
Электронный |
Яхонтов С. В. Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ / С.В. Яхонтов - Санкт-Петербург: Издательство Санкт-Петербургского Государственного Университета, 2014. - 146 с. |
2014 |
Ссылка
|
| ЭБС Biblioclub |
Электронный |
Смирнов А. А. Прикладное программное обеспечение: учебное пособие / А. А. Смирнов - Москва, Берлин: Директ-Медиа, 2017. - 358 с. |
2017 |
Ссылка
|