Организация многоуровнего моделирования для верификации цифровых проектов
Исследуются методы расширения функциональных возможностей средств моделирования и мониторинга для разработки, отладки и верификации цифровых проектов. Рассматривается реализация моделирования алгоритма Витерби....
Збережено в:
| Дата: | 2012 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Назва видання: | Комп’ютерні засоби, мережі та системи |
| Онлайн доступ: | http://dspace.nbuv.gov.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 |
irk-123456789-46486 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-464862013-07-01T03:26:27Z Организация многоуровнего моделирования для верификации цифровых проектов Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. Исследуются методы расширения функциональных возможностей средств моделирования и мониторинга для разработки, отладки и верификации цифровых проектов. Рассматривается реализация моделирования алгоритма Витерби. Досліджується розширення функціональних можливостей засобів моделювання для розробки, наладки та верифікації цифрових проектів. Розглядається реалізація моделювання алгоритму Вітербі. 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. 2012 Article Организация многоуровнего моделирования для верификации цифровых проектов / М.В. Семотюк, Е.Н. Чичирин, Е.П. Сосненко // Комп’ютерні засоби, мережі та системи. — 2012. — № 11. — С. 39-46. — Бібліогр.: 7 назв. — рос. 1817-9908 http://dspace.nbuv.gov.ua/handle/123456789/46486 681.3(031) ru Комп’ютерні засоби, мережі та системи Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| description |
Исследуются методы расширения функциональных возможностей средств моделирования и мониторинга для разработки, отладки и верификации цифровых проектов. Рассматривается реализация моделирования алгоритма Витерби. |
| format |
Article |
| author |
Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. |
| spellingShingle |
Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. Организация многоуровнего моделирования для верификации цифровых проектов Комп’ютерні засоби, мережі та системи |
| author_facet |
Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. |
| author_sort |
Семотюк, М.В. |
| title |
Организация многоуровнего моделирования для верификации цифровых проектов |
| title_short |
Организация многоуровнего моделирования для верификации цифровых проектов |
| title_full |
Организация многоуровнего моделирования для верификации цифровых проектов |
| title_fullStr |
Организация многоуровнего моделирования для верификации цифровых проектов |
| title_full_unstemmed |
Организация многоуровнего моделирования для верификации цифровых проектов |
| title_sort |
организация многоуровнего моделирования для верификации цифровых проектов |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2012 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/46486 |
| citation_txt |
Организация многоуровнего моделирования для верификации цифровых проектов / М.В. Семотюк, Е.Н. Чичирин, Е.П. Сосненко // Комп’ютерні засоби, мережі та системи. — 2012. — № 11. — С. 39-46. — Бібліогр.: 7 назв. — рос. |
| series |
Комп’ютерні засоби, мережі та системи |
| work_keys_str_mv |
AT semotûkmv organizaciâmnogourovnegomodelirovaniâdlâverifikaciicifrovyhproektov AT čičirinen organizaciâmnogourovnegomodelirovaniâdlâverifikaciicifrovyhproektov AT sosnenkoep organizaciâmnogourovnegomodelirovaniâdlâverifikaciicifrovyhproektov |
| first_indexed |
2023-10-18T18:05:16Z |
| last_indexed |
2023-10-18T18:05:16Z |
| _version_ |
1796143277864386560 |