Matches in SemOpenAlex for { <https://semopenalex.org/work/W1517203057> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1517203057 abstract "An algorithm for formal verification of the set of timing rules that express timing discipline in digital systems is described. It is based on a digital system specification model and notation transferrable to VHDL and concerns formal consistency verification at the design level of system specification development procedure." @default.
- W1517203057 created "2016-06-24" @default.
- W1517203057 creator A5048505610 @default.
- W1517203057 creator A5049652881 @default.
- W1517203057 date "1994-01-01" @default.
- W1517203057 modified "2023-09-28" @default.
- W1517203057 title "Formal verification of timing rules in design specifications" @default.
- W1517203057 cites W2038995301 @default.
- W1517203057 doi "https://doi.org/10.1007/3-540-58419-6_76" @default.
- W1517203057 hasPublicationYear "1994" @default.
- W1517203057 type Work @default.
- W1517203057 sameAs 1517203057 @default.
- W1517203057 citedByCount "0" @default.
- W1517203057 crossrefType "book-chapter" @default.
- W1517203057 hasAuthorship W1517203057A5048505610 @default.
- W1517203057 hasAuthorship W1517203057A5049652881 @default.
- W1517203057 hasConcept C111498074 @default.
- W1517203057 hasConcept C115903868 @default.
- W1517203057 hasConcept C116253237 @default.
- W1517203057 hasConcept C149635348 @default.
- W1517203057 hasConcept C154945302 @default.
- W1517203057 hasConcept C177264268 @default.
- W1517203057 hasConcept C199360897 @default.
- W1517203057 hasConcept C2776436953 @default.
- W1517203057 hasConcept C33923547 @default.
- W1517203057 hasConcept C36941000 @default.
- W1517203057 hasConcept C41008148 @default.
- W1517203057 hasConcept C42935608 @default.
- W1517203057 hasConcept C45357846 @default.
- W1517203057 hasConcept C62460635 @default.
- W1517203057 hasConcept C75606506 @default.
- W1517203057 hasConcept C94375191 @default.
- W1517203057 hasConceptScore W1517203057C111498074 @default.
- W1517203057 hasConceptScore W1517203057C115903868 @default.
- W1517203057 hasConceptScore W1517203057C116253237 @default.
- W1517203057 hasConceptScore W1517203057C149635348 @default.
- W1517203057 hasConceptScore W1517203057C154945302 @default.
- W1517203057 hasConceptScore W1517203057C177264268 @default.
- W1517203057 hasConceptScore W1517203057C199360897 @default.
- W1517203057 hasConceptScore W1517203057C2776436953 @default.
- W1517203057 hasConceptScore W1517203057C33923547 @default.
- W1517203057 hasConceptScore W1517203057C36941000 @default.
- W1517203057 hasConceptScore W1517203057C41008148 @default.
- W1517203057 hasConceptScore W1517203057C42935608 @default.
- W1517203057 hasConceptScore W1517203057C45357846 @default.
- W1517203057 hasConceptScore W1517203057C62460635 @default.
- W1517203057 hasConceptScore W1517203057C75606506 @default.
- W1517203057 hasConceptScore W1517203057C94375191 @default.
- W1517203057 hasLocation W15172030571 @default.
- W1517203057 hasOpenAccess W1517203057 @default.
- W1517203057 hasPrimaryLocation W15172030571 @default.
- W1517203057 hasRelatedWork W1583372371 @default.
- W1517203057 hasRelatedWork W1897567924 @default.
- W1517203057 hasRelatedWork W1973369219 @default.
- W1517203057 hasRelatedWork W2069640066 @default.
- W1517203057 hasRelatedWork W2116320465 @default.
- W1517203057 hasRelatedWork W2116967219 @default.
- W1517203057 hasRelatedWork W2118572231 @default.
- W1517203057 hasRelatedWork W2119645170 @default.
- W1517203057 hasRelatedWork W2134877784 @default.
- W1517203057 hasRelatedWork W2138042274 @default.
- W1517203057 hasRelatedWork W2141443374 @default.
- W1517203057 hasRelatedWork W2152691384 @default.
- W1517203057 hasRelatedWork W2162615969 @default.
- W1517203057 hasRelatedWork W2166941925 @default.
- W1517203057 hasRelatedWork W2169508015 @default.
- W1517203057 hasRelatedWork W2534384179 @default.
- W1517203057 hasRelatedWork W2572012322 @default.
- W1517203057 hasRelatedWork W2743504025 @default.
- W1517203057 hasRelatedWork W3083826291 @default.
- W1517203057 hasRelatedWork W611995106 @default.
- W1517203057 isParatext "false" @default.
- W1517203057 isRetracted "false" @default.
- W1517203057 magId "1517203057" @default.
- W1517203057 workType "book-chapter" @default.