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