1. eONPUIR
  2. Інститут комп'ютерних систем
  3. Кафедра комп’ютерних інтелектуальних систем та мереж
  4. Статті каф. КІСМ
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://dspace.opu.ua/jspui/handle/123456789/6657
Полная запись метаданных
Поле DCЗначениеЯзык
dc.contributor.authorМартынюк, А. Н.-
dc.contributor.authorВасим, Аль Шариф-
dc.date.accessioned2018-01-02T18:14:58Z-
dc.date.available2018-01-02T18:14:58Z-
dc.date.issued2013-
dc.identifier.citationМартынюк, А. Н. Модели тестирования для композиций сетей Петри / А. Н. Мартынюк, Аль Шариф Васим // Холодильна техніка та технологія. - 2013. - № 2. - С. 84-87.en
dc.identifier.issn0453-8307-
dc.identifier.urihttp://nbuv.gov.ua/UJRN/htit_2013_2_18-
dc.identifier.urihttp://dspace.opu.ua/jspui/handle/123456789/6657-
dc.description.abstractПредложены модели тестирования композиций сетей Петри, позволяющие строить процедуры тестирования для произвольных структур сетей Петри. Модели основаны на анализе реализуемого и транслируемого тестового поведения сетей Петри, включающего идентификацию опорных позиций.en
dc.description.abstractThe 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.en
dc.language.isoruen
dc.subjectСети Петриen
dc.subjectКомпозицииen
dc.subjectИдентификаторыen
dc.subjectТестированиеen
dc.subjectPetri Netsen
dc.subjectFormulationsen
dc.subjectIdentifiersen
dc.subjectTestsen
dc.titleМодели тестирования для композиций сетей Петриen
dc.typeArticleen
opu.kafedraКафедра комп’ютерних інтелектуальних систем та мереж-
opu.citation.journalХолодильна техніка та технологія = Холодильная техника и технология = Refrigeration engineering and technologyen
opu.citation.firstpage84en
opu.citation.lastpage87en
opu.citation.issue№ 2. - С. 84-87en
opu.staff.idmartynyuk@opu.uaen
Располагается в коллекциях:Статті каф. КІСМ

Файлы этого ресурса:
Файл Описание РазмерФормат 
htit_2013_2_18.pdfМОДЕЛИ ТЕСТИРОВАНИЯ ДЛЯ КОМПОЗИЦИЙ СЕТЕЙ ПЕТРИ460.61 kBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса Просмотр статистики


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.