1. Репозиторий Самарского национального исследовательского университета имени академика С.П. Королёва
  2. 02. Монографии и сборники научных трудов
  3. Автоматизация научных исследований
Full metadata record
DC FieldValueLanguage
dc.contributor.authorДерябкин В. П.
dc.contributor.authorБойко Б. В.
dc.coverage.spatialуправление процессом принятия проектных решений
dc.coverage.spatialпроектирование систем управления
dc.coverage.spatialвременные сети Петри
dc.coverage.spatialметод конечных автоматов
dc.creatorДерябкин В. П., Бойко Б. В.
dc.date1987
dc.date.accessioned2025-08-27T14:15:59Z-
dc.date.available2025-08-27T14:15:59Z-
dc.date.issued1987
dc.identifier.identifierRU\НТБ СГАУ\459657
dc.identifier.citationДерябкин, В. П. Формальное определение требований и анализ временных ограничений при проектировании систем реального времени / В. П. Дерябкин, Б. В. Бойко // Автоматизация научных исследований : сб. науч. работ / М-во высш. и сред. спец. образования РСФСР, Куйбышев. авиац. ин-т им. С. П. Королева ; редкол.: В. А. Виттих, Б. Я. Советов, А. Н. Ковшов, В. А. Сойфер, О. П. Скобелев, Г. Н. Томников, А. Д. Хахаев, Т. П. Юдина. - Куйбышев : КуАИ, 1987. - С. 126-131.
dc.identifier.urihttp://repo.ssau.ru/jspui/handle/123456789/24313-
dc.description.abstractПредлагается метод определения требований к проектируемой системе на основе формальной спецификации, использующей концепцию абстрактных машин. Основывается целесообразность применения сетевых моделей управления процессами с целью анализа временных соотношений, гарантирующих соответствие указанным требованиям.
dc.sourceАвтоматизация научных исследований : сб. науч. работ. - Текст : электронный
dc.subjectуправление процессом принятия проектных решений
dc.subjectпроектирование систем управления
dc.subjectвременные сети Петри
dc.subjectметод конечных автоматов
dc.titleФормальное определение требований и анализ временных ограничений при проектировании систем реального времени
dc.typeText
dc.citation.epage131
dc.citation.spage126
local.contributor.authorДерябкин В. П.
local.contributor.authorБойко Б. В.
local.identifier.oldurihttp://repo.ssau.ru/handle/AVTOMATIZACIYa-NAUChNYH-ISSLEDOVANII/Formalnoe-opredelenie-trebovanii-i-analiz-vremennyh-ogranichenii-pri-proektirovanii-sistem-realnogo-vremeni-Tekst-elektronnyi-90620
Appears in Collections:Автоматизация научных исследований

Files in This Item:
File SizeFormat 
Стр. 126-131.pdf204.72 kBAdobe PDFView/Open
Show simple item record


Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.