Организация многоуровнего моделирования для верификации цифровых проектов
Исследуются методы расширения функциональных возможностей средств моделирования и мониторинга для разработки, отладки и верификации цифровых проектов. Рассматривается реализация моделирования алгоритма Витерби. Досліджується розширення функціональних можливостей засобів моделювання для розробки, нал...
Збережено в:
| Опубліковано в: : | Комп’ютерні засоби, мережі та системи |
|---|---|
| Дата: | 2012 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/46486 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Организация многоуровнего моделирования для верификации цифровых проектов / М.В. Семотюк, Е.Н. Чичирин, Е.П. Сосненко // Комп’ютерні засоби, мережі та системи. — 2012. — № 11. — С. 39-46. — Бібліогр.: 7 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-46486 |
|---|---|
| record_format |
dspace |
| spelling |
Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. 2013-06-30T11:29:30Z 2013-06-30T11:29:30Z 2012 Организация многоуровнего моделирования для верификации цифровых проектов / М.В. Семотюк, Е.Н. Чичирин, Е.П. Сосненко // Комп’ютерні засоби, мережі та системи. — 2012. — № 11. — С. 39-46. — Бібліогр.: 7 назв. — рос. 1817-9908 https://nasplib.isofts.kiev.ua/handle/123456789/46486 681.3(031) Исследуются методы расширения функциональных возможностей средств моделирования и мониторинга для разработки, отладки и верификации цифровых проектов. Рассматривается реализация моделирования алгоритма Витерби. Досліджується розширення функціональних можливостей засобів моделювання для розробки, наладки та верифікації цифрових проектів. Розглядається реалізація моделювання алгоритму Вітербі. Expansion of functionalities of means of modeling and monitoring for development, debugging and verifications of systems of digital processing is investigated. The implementation of modeling of algorithm Viterby is resulted. ru Інститут кібернетики ім. В.М. Глушкова НАН України Комп’ютерні засоби, мережі та системи Организация многоуровнего моделирования для верификации цифровых проектов Organization of layered modeling for verification of digital projects Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Организация многоуровнего моделирования для верификации цифровых проектов |
| spellingShingle |
Организация многоуровнего моделирования для верификации цифровых проектов Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. |
| title_short |
Организация многоуровнего моделирования для верификации цифровых проектов |
| title_full |
Организация многоуровнего моделирования для верификации цифровых проектов |
| title_fullStr |
Организация многоуровнего моделирования для верификации цифровых проектов |
| title_full_unstemmed |
Организация многоуровнего моделирования для верификации цифровых проектов |
| title_sort |
организация многоуровнего моделирования для верификации цифровых проектов |
| author |
Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. |
| author_facet |
Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. |
| publishDate |
2012 |
| language |
Russian |
| container_title |
Комп’ютерні засоби, мережі та системи |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Organization of layered modeling for verification of digital projects |
| description |
Исследуются методы расширения функциональных возможностей средств моделирования и мониторинга для разработки, отладки и верификации цифровых проектов. Рассматривается реализация моделирования алгоритма Витерби.
Досліджується розширення функціональних можливостей засобів моделювання для розробки, наладки та верифікації цифрових проектів. Розглядається реалізація моделювання алгоритму Вітербі.
Expansion of functionalities of means of modeling and monitoring for development, debugging and verifications of systems of digital processing is investigated. The implementation of modeling of algorithm Viterby is resulted.
|
| issn |
1817-9908 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/46486 |
| citation_txt |
Организация многоуровнего моделирования для верификации цифровых проектов / М.В. Семотюк, Е.Н. Чичирин, Е.П. Сосненко // Комп’ютерні засоби, мережі та системи. — 2012. — № 11. — С. 39-46. — Бібліогр.: 7 назв. — рос. |
| work_keys_str_mv |
AT semotûkmv organizaciâmnogourovnegomodelirovaniâdlâverifikaciicifrovyhproektov AT čičirinen organizaciâmnogourovnegomodelirovaniâdlâverifikaciicifrovyhproektov AT sosnenkoep organizaciâmnogourovnegomodelirovaniâdlâverifikaciicifrovyhproektov AT semotûkmv organizationoflayeredmodelingforverificationofdigitalprojects AT čičirinen organizationoflayeredmodelingforverificationofdigitalprojects AT sosnenkoep organizationoflayeredmodelingforverificationofdigitalprojects |
| first_indexed |
2025-12-07T16:12:30Z |
| last_indexed |
2025-12-07T16:12:30Z |
| _version_ |
1850866611529973760 |