Matches in SemOpenAlex for { <https://semopenalex.org/work/W2295722592> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2295722592 abstract "This paper presents a brief tutorial on verification at the system level. Verification is pulled apart into separate tasks, each task aimed at answering specific verification questions. Because no single verification technique can address all areas, a stack of verification approaches is postulated. The bulk of the paper is focused on two of the most abstract verification tasks, here termed Virtual Prototyping and Virtual Architecture." @default.
- W2295722592 created "2016-06-24" @default.
- W2295722592 creator A5007624223 @default.
- W2295722592 date "1997-01-01" @default.
- W2295722592 modified "2023-09-28" @default.
- W2295722592 title "Virtual prototyping" @default.
- W2295722592 cites W1979486932 @default.
- W2295722592 cites W2094307219 @default.
- W2295722592 hasPublicationYear "1997" @default.
- W2295722592 type Work @default.
- W2295722592 sameAs 2295722592 @default.
- W2295722592 citedByCount "1" @default.
- W2295722592 crossrefType "proceedings-article" @default.
- W2295722592 hasAuthorship W2295722592A5007624223 @default.
- W2295722592 hasConcept C111498074 @default.
- W2295722592 hasConcept C115903868 @default.
- W2295722592 hasConcept C118524514 @default.
- W2295722592 hasConcept C127413603 @default.
- W2295722592 hasConcept C142284323 @default.
- W2295722592 hasConcept C149091818 @default.
- W2295722592 hasConcept C149635348 @default.
- W2295722592 hasConcept C186846655 @default.
- W2295722592 hasConcept C187250869 @default.
- W2295722592 hasConcept C199360897 @default.
- W2295722592 hasConcept C201995342 @default.
- W2295722592 hasConcept C202973057 @default.
- W2295722592 hasConcept C2777904410 @default.
- W2295722592 hasConcept C2780451532 @default.
- W2295722592 hasConcept C2780991453 @default.
- W2295722592 hasConcept C33054407 @default.
- W2295722592 hasConcept C3406870 @default.
- W2295722592 hasConcept C41008148 @default.
- W2295722592 hasConcept C44154836 @default.
- W2295722592 hasConcept C62460635 @default.
- W2295722592 hasConceptScore W2295722592C111498074 @default.
- W2295722592 hasConceptScore W2295722592C115903868 @default.
- W2295722592 hasConceptScore W2295722592C118524514 @default.
- W2295722592 hasConceptScore W2295722592C127413603 @default.
- W2295722592 hasConceptScore W2295722592C142284323 @default.
- W2295722592 hasConceptScore W2295722592C149091818 @default.
- W2295722592 hasConceptScore W2295722592C149635348 @default.
- W2295722592 hasConceptScore W2295722592C186846655 @default.
- W2295722592 hasConceptScore W2295722592C187250869 @default.
- W2295722592 hasConceptScore W2295722592C199360897 @default.
- W2295722592 hasConceptScore W2295722592C201995342 @default.
- W2295722592 hasConceptScore W2295722592C202973057 @default.
- W2295722592 hasConceptScore W2295722592C2777904410 @default.
- W2295722592 hasConceptScore W2295722592C2780451532 @default.
- W2295722592 hasConceptScore W2295722592C2780991453 @default.
- W2295722592 hasConceptScore W2295722592C33054407 @default.
- W2295722592 hasConceptScore W2295722592C3406870 @default.
- W2295722592 hasConceptScore W2295722592C41008148 @default.
- W2295722592 hasConceptScore W2295722592C44154836 @default.
- W2295722592 hasConceptScore W2295722592C62460635 @default.
- W2295722592 hasLocation W22957225921 @default.
- W2295722592 hasOpenAccess W2295722592 @default.
- W2295722592 hasPrimaryLocation W22957225921 @default.
- W2295722592 hasRelatedWork W1484942078 @default.
- W2295722592 hasRelatedWork W1507653811 @default.
- W2295722592 hasRelatedWork W1541451453 @default.
- W2295722592 hasRelatedWork W1551363727 @default.
- W2295722592 hasRelatedWork W1793023429 @default.
- W2295722592 hasRelatedWork W1836717328 @default.
- W2295722592 hasRelatedWork W1982763467 @default.
- W2295722592 hasRelatedWork W1993683001 @default.
- W2295722592 hasRelatedWork W2049813435 @default.
- W2295722592 hasRelatedWork W2064172314 @default.
- W2295722592 hasRelatedWork W2079417464 @default.
- W2295722592 hasRelatedWork W2091198350 @default.
- W2295722592 hasRelatedWork W2092349522 @default.
- W2295722592 hasRelatedWork W2094307219 @default.
- W2295722592 hasRelatedWork W2105593427 @default.
- W2295722592 hasRelatedWork W2123598699 @default.
- W2295722592 hasRelatedWork W2128513456 @default.
- W2295722592 hasRelatedWork W2142070420 @default.
- W2295722592 hasRelatedWork W2149352546 @default.
- W2295722592 hasRelatedWork W2738202479 @default.
- W2295722592 isParatext "false" @default.
- W2295722592 isRetracted "false" @default.
- W2295722592 magId "2295722592" @default.
- W2295722592 workType "article" @default.