Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022379629> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2022379629 abstract "Разработана формальная модель специфицирования свойств композитных веб-сервисов на основе формализма темпоральной логики TLA. На отдельном примере выполнена верификация TLA-спецификации композитного веб-сервиса с множеством свойств в автоматизированном режиме с использованием реализации метода Model Checking в составе программного средства TLA Toolbox (TLC, TLA Checker). Проведена оценка сопутствующих временных издержек." @default.
- W2022379629 created "2016-06-24" @default.
- W2022379629 creator A5042262435 @default.
- W2022379629 date "2013-06-15" @default.
- W2022379629 modified "2023-10-18" @default.
- W2022379629 title "A MODEL OF MULTI-BEHAVIORAL COMPOSITE WEB SERVICE TLA-SPECIFICATION" @default.
- W2022379629 doi "https://doi.org/10.15588/1607-3274-2013-1-15" @default.
- W2022379629 hasPublicationYear "2013" @default.
- W2022379629 type Work @default.
- W2022379629 sameAs 2022379629 @default.
- W2022379629 citedByCount "0" @default.
- W2022379629 crossrefType "journal-article" @default.
- W2022379629 hasAuthorship W2022379629A5042262435 @default.
- W2022379629 hasBestOaLocation W20223796291 @default.
- W2022379629 hasConcept C104779481 @default.
- W2022379629 hasConcept C11413529 @default.
- W2022379629 hasConcept C136764020 @default.
- W2022379629 hasConcept C144133560 @default.
- W2022379629 hasConcept C154945302 @default.
- W2022379629 hasConcept C162853370 @default.
- W2022379629 hasConcept C2780378061 @default.
- W2022379629 hasConcept C35578498 @default.
- W2022379629 hasConcept C41008148 @default.
- W2022379629 hasConcept C78639753 @default.
- W2022379629 hasConceptScore W2022379629C104779481 @default.
- W2022379629 hasConceptScore W2022379629C11413529 @default.
- W2022379629 hasConceptScore W2022379629C136764020 @default.
- W2022379629 hasConceptScore W2022379629C144133560 @default.
- W2022379629 hasConceptScore W2022379629C154945302 @default.
- W2022379629 hasConceptScore W2022379629C162853370 @default.
- W2022379629 hasConceptScore W2022379629C2780378061 @default.
- W2022379629 hasConceptScore W2022379629C35578498 @default.
- W2022379629 hasConceptScore W2022379629C41008148 @default.
- W2022379629 hasConceptScore W2022379629C78639753 @default.
- W2022379629 hasIssue "1" @default.
- W2022379629 hasLocation W20223796291 @default.
- W2022379629 hasOpenAccess W2022379629 @default.
- W2022379629 hasPrimaryLocation W20223796291 @default.
- W2022379629 hasRelatedWork W1544866385 @default.
- W2022379629 hasRelatedWork W169212234 @default.
- W2022379629 hasRelatedWork W2081032187 @default.
- W2022379629 hasRelatedWork W2115490661 @default.
- W2022379629 hasRelatedWork W2118741349 @default.
- W2022379629 hasRelatedWork W2355045707 @default.
- W2022379629 hasRelatedWork W2361708295 @default.
- W2022379629 hasRelatedWork W2369714467 @default.
- W2022379629 hasRelatedWork W2374719812 @default.
- W2022379629 hasRelatedWork W2497239809 @default.
- W2022379629 hasVolume "0" @default.
- W2022379629 isParatext "false" @default.
- W2022379629 isRetracted "false" @default.
- W2022379629 magId "2022379629" @default.
- W2022379629 workType "article" @default.