Matches in SemOpenAlex for { <https://semopenalex.org/work/W3215760949> ?p ?o ?g. }
Showing items 1 to 32 of
32
with 100 items per page.
- W3215760949 abstract "Представлен язык спецификаций распределенных систем Dynamic-REAL (dREAL), который расширяет разработанный ранее язык Basic-REAL посредством динамических конструкций порождения и уничтожения экземпляров процессов. Описан программный комплекс SRDSV2 (SDL/REAL Distributed Systems Verifier), предназначенный для моделирования, анализа и верификации SDL-спецификаций распределенных систем. Этот комплекс включает транслятор из языка SDL в язык dREAL, систему автоматического моделирования dREAL-спецификаций и транслятор из языка dREAL во входной язык Promela системы верификации SPIN. Описано применение этого комплекса для верификации динамической системы управления сетью касс-терминалов." @default.
- W3215760949 created "2021-12-06" @default.
- W3215760949 creator A5059077906 @default.
- W3215760949 creator A5059835985 @default.
- W3215760949 creator A5072243872 @default.
- W3215760949 date "2014-01-01" @default.
- W3215760949 modified "2023-09-27" @default.
- W3215760949 title "LANGUAGE OF DYNAMIC-REAL AND HIS APPLICATION FOR VERIFICATION OF SDL-SPECIFICATIONS DISTRIBUTED SYSTEMS" @default.
- W3215760949 hasPublicationYear "2014" @default.
- W3215760949 type Work @default.
- W3215760949 sameAs 3215760949 @default.
- W3215760949 citedByCount "0" @default.
- W3215760949 crossrefType "journal-article" @default.
- W3215760949 hasAuthorship W3215760949A5059077906 @default.
- W3215760949 hasAuthorship W3215760949A5059835985 @default.
- W3215760949 hasAuthorship W3215760949A5072243872 @default.
- W3215760949 hasConcept C110251889 @default.
- W3215760949 hasConcept C199360897 @default.
- W3215760949 hasConcept C2776329536 @default.
- W3215760949 hasConcept C41008148 @default.
- W3215760949 hasConceptScore W3215760949C110251889 @default.
- W3215760949 hasConceptScore W3215760949C199360897 @default.
- W3215760949 hasConceptScore W3215760949C2776329536 @default.
- W3215760949 hasConceptScore W3215760949C41008148 @default.
- W3215760949 hasIssue "5" @default.
- W3215760949 hasLocation W32157609491 @default.
- W3215760949 hasOpenAccess W3215760949 @default.
- W3215760949 hasPrimaryLocation W32157609491 @default.
- W3215760949 isParatext "false" @default.
- W3215760949 isRetracted "false" @default.
- W3215760949 magId "3215760949" @default.
- W3215760949 workType "article" @default.