Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://dspace.opu.ua/jspui/handle/123456789/6657| Название: | Модели тестирования для композиций сетей Петри |
| Авторы: | Мартынюк, А. Н. Васим, Аль Шариф |
| Ключевые слова: | Сети Петри Композиции Идентификаторы Тестирование Petri Nets Formulations Identifiers Tests |
| Дата публикации: | 2013 |
| Библиографическое описание: | Мартынюк, А. Н. Модели тестирования для композиций сетей Петри / А. Н. Мартынюк, Аль Шариф Васим // Холодильна техніка та технологія. - 2013. - № 2. - С. 84-87. |
| Краткий осмотр (реферат): | Предложены модели тестирования композиций сетей Петри, позволяющие строить процедуры тестирования для произвольных структур сетей Петри. Модели основаны на анализе реализуемого и транслируемого тестового поведения сетей Петри, включающего идентификацию опорных позиций. The test models for Petri nets formulations, enabling to compose the test procedures for arbitrary structures of Petri nets are proposed. The models are based on the analysis of implemented and broadcasted test behavior of Petri nets, which includes the identification of the reference positions. |
| URI (Унифицированный идентификатор ресурса): | http://nbuv.gov.ua/UJRN/htit_2013_2_18 http://dspace.opu.ua/jspui/handle/123456789/6657 |
| ISSN: | 0453-8307 |
| Располагается в коллекциях: | Статті каф. КІСМ |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| htit_2013_2_18.pdf | МОДЕЛИ ТЕСТИРОВАНИЯ ДЛЯ КОМПОЗИЦИЙ СЕТЕЙ ПЕТРИ | 460.61 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.