Matches in SemOpenAlex for { <https://semopenalex.org/work/W3111000185> ?p ?o ?g. }
Showing items 1 to 37 of
37
with 100 items per page.
- W3111000185 abstract "Для верифікації HDL-моделей пристроїв реального часу пропонується застосовувати механізм властивостей та асерцій мови System Verlog. Обґрунтовується доцільність механізму властивостей для більш вичерпного та ретельного тестування. Застосування цих підходів ілюструється конкретним прикладом." @default.
- W3111000185 created "2020-12-21" @default.
- W3111000185 creator A5010681410 @default.
- W3111000185 creator A5041559913 @default.
- W3111000185 date "2019-09-27" @default.
- W3111000185 modified "2023-09-25" @default.
- W3111000185 title "МЕТОДИ ВЕРИФІКАЦІЇ ТЕМПОРАЛЬНИХ ВЛАСТИВОСТЕЙ ЦИФРОВИХ АВТОМАТІВ" @default.
- W3111000185 doi "https://doi.org/10.30837/1563-0064.3(86).2019.214975" @default.
- W3111000185 hasPublicationYear "2019" @default.
- W3111000185 type Work @default.
- W3111000185 sameAs 3111000185 @default.
- W3111000185 citedByCount "0" @default.
- W3111000185 crossrefType "journal-article" @default.
- W3111000185 hasAuthorship W3111000185A5010681410 @default.
- W3111000185 hasAuthorship W3111000185A5041559913 @default.
- W3111000185 hasBestOaLocation W31110001851 @default.
- W3111000185 hasConcept C41008148 @default.
- W3111000185 hasConceptScore W3111000185C41008148 @default.
- W3111000185 hasIssue "3(86)" @default.
- W3111000185 hasLocation W31110001851 @default.
- W3111000185 hasOpenAccess W3111000185 @default.
- W3111000185 hasPrimaryLocation W31110001851 @default.
- W3111000185 hasRelatedWork W1596801655 @default.
- W3111000185 hasRelatedWork W2130043461 @default.
- W3111000185 hasRelatedWork W2350741829 @default.
- W3111000185 hasRelatedWork W2358668433 @default.
- W3111000185 hasRelatedWork W2376932109 @default.
- W3111000185 hasRelatedWork W2382290278 @default.
- W3111000185 hasRelatedWork W2390279801 @default.
- W3111000185 hasRelatedWork W2748952813 @default.
- W3111000185 hasRelatedWork W2899084033 @default.
- W3111000185 hasRelatedWork W2530322880 @default.
- W3111000185 hasVolume "0" @default.
- W3111000185 isParatext "false" @default.
- W3111000185 isRetracted "false" @default.
- W3111000185 magId "3111000185" @default.
- W3111000185 workType "article" @default.