Matches in SemOpenAlex for { <https://semopenalex.org/work/W1976802210> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1976802210 abstract "TheoSim is a symbolic verifiation tool that fills the gap between the simulation of test cases, and the use of theorem provers, for the validation of initial specifications, and the exploration of the very first design steps of digital integrated systems. The principles of Theosim are presented, followed by its application to the verification of the first design step of a state-of-the-art network on chip architecture." @default.
- W1976802210 created "2016-06-24" @default.
- W1976802210 creator A5010015399 @default.
- W1976802210 creator A5051595680 @default.
- W1976802210 creator A5053069477 @default.
- W1976802210 creator A5063371658 @default.
- W1976802210 creator A5088595514 @default.
- W1976802210 date "2004-01-01" @default.
- W1976802210 modified "2023-09-23" @default.
- W1976802210 title "TheoSim" @default.
- W1976802210 cites W1484599239 @default.
- W1976802210 cites W1488659932 @default.
- W1976802210 cites W1547263332 @default.
- W1976802210 cites W1590405504 @default.
- W1976802210 cites W1600735021 @default.
- W1976802210 cites W1601167865 @default.
- W1976802210 cites W1797377815 @default.
- W1976802210 cites W2045261241 @default.
- W1976802210 cites W2063169916 @default.
- W1976802210 cites W2069300761 @default.
- W1976802210 cites W2111927499 @default.
- W1976802210 cites W2132727849 @default.
- W1976802210 cites W2158114636 @default.
- W1976802210 cites W2170511114 @default.
- W1976802210 cites W2255815563 @default.
- W1976802210 cites W3010782316 @default.
- W1976802210 cites W386590889 @default.
- W1976802210 doi "https://doi.org/10.1145/1016568.1016591" @default.
- W1976802210 hasPublicationYear "2004" @default.
- W1976802210 type Work @default.
- W1976802210 sameAs 1976802210 @default.
- W1976802210 citedByCount "5" @default.
- W1976802210 crossrefType "proceedings-article" @default.
- W1976802210 hasAuthorship W1976802210A5010015399 @default.
- W1976802210 hasAuthorship W1976802210A5051595680 @default.
- W1976802210 hasAuthorship W1976802210A5053069477 @default.
- W1976802210 hasAuthorship W1976802210A5063371658 @default.
- W1976802210 hasAuthorship W1976802210A5088595514 @default.
- W1976802210 hasConcept C110251889 @default.
- W1976802210 hasConcept C111498074 @default.
- W1976802210 hasConcept C113775141 @default.
- W1976802210 hasConcept C118524514 @default.
- W1976802210 hasConcept C142284323 @default.
- W1976802210 hasConcept C149091818 @default.
- W1976802210 hasConcept C186846655 @default.
- W1976802210 hasConcept C187250869 @default.
- W1976802210 hasConcept C199360897 @default.
- W1976802210 hasConcept C206880738 @default.
- W1976802210 hasConcept C23123167 @default.
- W1976802210 hasConcept C2777904410 @default.
- W1976802210 hasConcept C33054407 @default.
- W1976802210 hasConcept C3406870 @default.
- W1976802210 hasConcept C41008148 @default.
- W1976802210 hasConcept C48103436 @default.
- W1976802210 hasConcept C62460635 @default.
- W1976802210 hasConceptScore W1976802210C110251889 @default.
- W1976802210 hasConceptScore W1976802210C111498074 @default.
- W1976802210 hasConceptScore W1976802210C113775141 @default.
- W1976802210 hasConceptScore W1976802210C118524514 @default.
- W1976802210 hasConceptScore W1976802210C142284323 @default.
- W1976802210 hasConceptScore W1976802210C149091818 @default.
- W1976802210 hasConceptScore W1976802210C186846655 @default.
- W1976802210 hasConceptScore W1976802210C187250869 @default.
- W1976802210 hasConceptScore W1976802210C199360897 @default.
- W1976802210 hasConceptScore W1976802210C206880738 @default.
- W1976802210 hasConceptScore W1976802210C23123167 @default.
- W1976802210 hasConceptScore W1976802210C2777904410 @default.
- W1976802210 hasConceptScore W1976802210C33054407 @default.
- W1976802210 hasConceptScore W1976802210C3406870 @default.
- W1976802210 hasConceptScore W1976802210C41008148 @default.
- W1976802210 hasConceptScore W1976802210C48103436 @default.
- W1976802210 hasConceptScore W1976802210C62460635 @default.
- W1976802210 hasLocation W19768022101 @default.
- W1976802210 hasOpenAccess W1976802210 @default.
- W1976802210 hasPrimaryLocation W19768022101 @default.
- W1976802210 hasRelatedWork W1596801655 @default.
- W1976802210 hasRelatedWork W1972437902 @default.
- W1976802210 hasRelatedWork W2358668433 @default.
- W1976802210 hasRelatedWork W2373011076 @default.
- W1976802210 hasRelatedWork W2376932109 @default.
- W1976802210 hasRelatedWork W2387147530 @default.
- W1976802210 hasRelatedWork W2390279801 @default.
- W1976802210 hasRelatedWork W2688602461 @default.
- W1976802210 hasRelatedWork W2748952813 @default.
- W1976802210 hasRelatedWork W2899084033 @default.
- W1976802210 isParatext "false" @default.
- W1976802210 isRetracted "false" @default.
- W1976802210 magId "1976802210" @default.
- W1976802210 workType "article" @default.