Организация многоуровнего моделирования для верификации цифровых проектов
Исследуются методы расширения функциональных возможностей средств моделирования и мониторинга для разработки, отладки и верификации цифровых проектов. Рассматривается реализация моделирования алгоритма Витерби. Досліджується розширення функціональних можливостей засобів моделювання для розробки, нал...
Saved in:
| Published in: | Комп’ютерні засоби, мережі та системи |
|---|---|
| Date: | 2012 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/46486 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Организация многоуровнего моделирования для верификации цифровых проектов / М.В. Семотюк, Е.Н. Чичирин, Е.П. Сосненко // Комп’ютерні засоби, мережі та системи. — 2012. — № 11. — С. 39-46. — Бібліогр.: 7 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862690085041864704 |
|---|---|
| author | Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. |
| author_facet | Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. |
| citation_txt | Организация многоуровнего моделирования для верификации цифровых проектов / М.В. Семотюк, Е.Н. Чичирин, Е.П. Сосненко // Комп’ютерні засоби, мережі та системи. — 2012. — № 11. — С. 39-46. — Бібліогр.: 7 назв. — рос. |
| collection | DSpace DC |
| container_title | Комп’ютерні засоби, мережі та системи |
| 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.
|
| first_indexed | 2025-12-07T16:12:30Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-46486 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1817-9908 |
| language | Russian |
| last_indexed | 2025-12-07T16:12:30Z |
| publishDate | 2012 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
| spellingShingle | Организация многоуровнего моделирования для верификации цифровых проектов Семотюк, М.В. Чичирин, Е.Н. Сосненко, Е.П. |
| title | Организация многоуровнего моделирования для верификации цифровых проектов |
| title_alt | Organization of layered modeling for verification of digital projects |
| title_full | Организация многоуровнего моделирования для верификации цифровых проектов |
| title_fullStr | Организация многоуровнего моделирования для верификации цифровых проектов |
| title_full_unstemmed | Организация многоуровнего моделирования для верификации цифровых проектов |
| title_short | Организация многоуровнего моделирования для верификации цифровых проектов |
| title_sort | организация многоуровнего моделирования для верификации цифровых проектов |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/46486 |
| 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 |