Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри
За останні 20 років формальні методи почали широко використовуватись для специфікації, аналізу, верифікації та відповідного
 тестування програмних та технічних систем і, зокрема, телекомунікаційних протоколів [1]. В даній роботі пропонується
 автоматизований технологічний процес форм...
Gespeichert in:
| Datum: | 2004 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2004
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1681 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри/ Л.Е.Матвеева// Проблеми програмування. — 2004. — N 2,3. — С. 108-117. — Бібліогр.: 19 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862552912193912832 |
|---|---|
| author | Матвеева, Л.Е. |
| author_facet | Матвеева, Л.Е. |
| citation_txt | Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри/ Л.Е.Матвеева// Проблеми програмування. — 2004. — N 2,3. — С. 108-117. — Бібліогр.: 19 назв. — рос. |
| collection | DSpace DC |
| description | За останні 20 років формальні методи почали широко використовуватись для специфікації, аналізу, верифікації та відповідного
тестування програмних та технічних систем і, зокрема, телекомунікаційних протоколів [1]. В даній роботі пропонується
автоматизований технологічний процес формальної специфікації та верифікації телекомунікаційної системи. Формальна модель
системи будується у вигляді ординарної мережі Петрі. Аналіз системи виконується за допомогою методів лінійної алгебри.
Last 20 years formal methods are being used widely to specify formally, analyze, verify and test software and hardware systems,
particularly, telecommunication protocols [1]. In this paper automated system is presented which specify formally and verify the
telecommunication system. The automated system applies the formal modeling technique of Petri nets and is based on linear algebra methods
of analysis in order to research some properties of telephone system.
|
| first_indexed | 2025-11-25T21:04:16Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1681 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-11-25T21:04:16Z |
| publishDate | 2004 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Матвеева, Л.Е. 2008-09-02T09:25:47Z 2008-09-02T09:25:47Z 2004 Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри/ Л.Е.Матвеева// Проблеми програмування. — 2004. — N 2,3. — С. 108-117. — Бібліогр.: 19 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1681 51.681.3 За останні 20 років формальні методи почали широко використовуватись для специфікації, аналізу, верифікації та відповідного
 тестування програмних та технічних систем і, зокрема, телекомунікаційних протоколів [1]. В даній роботі пропонується
 автоматизований технологічний процес формальної специфікації та верифікації телекомунікаційної системи. Формальна модель
 системи будується у вигляді ординарної мережі Петрі. Аналіз системи виконується за допомогою методів лінійної алгебри. Last 20 years formal methods are being used widely to specify formally, analyze, verify and test software and hardware systems,
 particularly, telecommunication protocols [1]. In this paper automated system is presented which specify formally and verify the
 telecommunication system. The automated system applies the formal modeling technique of Petri nets and is based on linear algebra methods
 of analysis in order to research some properties of telephone system. ru Інститут програмних систем НАН України Формальные методы в программировании Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри Article published earlier |
| spellingShingle | Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри Матвеева, Л.Е. Формальные методы в программировании |
| title | Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри |
| title_full | Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри |
| title_fullStr | Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри |
| title_full_unstemmed | Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри |
| title_short | Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри |
| title_sort | автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке msc, с помощью формализма сетей петри |
| topic | Формальные методы в программировании |
| topic_facet | Формальные методы в программировании |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1681 |
| work_keys_str_mv | AT matveevale avtomatičeskaâsistemaanalizaiverifikaciitelekommunikacionnoisistemyopisannoinaâzykemscspomoŝʹûformalizmaseteipetri |