Matches in SemOpenAlex for { <https://semopenalex.org/work/W1491656079> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1491656079 abstract "This paper presents the VPN tool (VHDL to Petri Nets) for translating a subset of VHDL'87 into a formal model based on Interpreted and Timed Petri Nets (ITPN). This formal model finds its application to different kind of analysis such as symbolic model checking, behavioral equivalence and behavioral synthesis of the VHDL descriptions." @default.
- W1491656079 created "2016-06-24" @default.
- W1491656079 creator A5023453269 @default.
- W1491656079 creator A5066735113 @default.
- W1491656079 date "1996-01-01" @default.
- W1491656079 modified "2023-09-27" @default.
- W1491656079 title "A tool for translation of VHDL descriptions into a formal model and its application to formal verification and synthesis" @default.
- W1491656079 cites W1996109622 @default.
- W1491656079 doi "https://doi.org/10.1007/3-540-61648-9_59" @default.
- W1491656079 hasPublicationYear "1996" @default.
- W1491656079 type Work @default.
- W1491656079 sameAs 1491656079 @default.
- W1491656079 citedByCount "1" @default.
- W1491656079 crossrefType "book-chapter" @default.
- W1491656079 hasAuthorship W1491656079A5023453269 @default.
- W1491656079 hasAuthorship W1491656079A5066735113 @default.
- W1491656079 hasConcept C110251889 @default.
- W1491656079 hasConcept C111498074 @default.
- W1491656079 hasConcept C116253237 @default.
- W1491656079 hasConcept C138885662 @default.
- W1491656079 hasConcept C149635348 @default.
- W1491656079 hasConcept C199360897 @default.
- W1491656079 hasConcept C2780069185 @default.
- W1491656079 hasConcept C36941000 @default.
- W1491656079 hasConcept C38677869 @default.
- W1491656079 hasConcept C41008148 @default.
- W1491656079 hasConcept C41895202 @default.
- W1491656079 hasConcept C42935608 @default.
- W1491656079 hasConcept C75606506 @default.
- W1491656079 hasConcept C80444323 @default.
- W1491656079 hasConcept C96654402 @default.
- W1491656079 hasConceptScore W1491656079C110251889 @default.
- W1491656079 hasConceptScore W1491656079C111498074 @default.
- W1491656079 hasConceptScore W1491656079C116253237 @default.
- W1491656079 hasConceptScore W1491656079C138885662 @default.
- W1491656079 hasConceptScore W1491656079C149635348 @default.
- W1491656079 hasConceptScore W1491656079C199360897 @default.
- W1491656079 hasConceptScore W1491656079C2780069185 @default.
- W1491656079 hasConceptScore W1491656079C36941000 @default.
- W1491656079 hasConceptScore W1491656079C38677869 @default.
- W1491656079 hasConceptScore W1491656079C41008148 @default.
- W1491656079 hasConceptScore W1491656079C41895202 @default.
- W1491656079 hasConceptScore W1491656079C42935608 @default.
- W1491656079 hasConceptScore W1491656079C75606506 @default.
- W1491656079 hasConceptScore W1491656079C80444323 @default.
- W1491656079 hasConceptScore W1491656079C96654402 @default.
- W1491656079 hasLocation W14916560791 @default.
- W1491656079 hasOpenAccess W1491656079 @default.
- W1491656079 hasPrimaryLocation W14916560791 @default.
- W1491656079 hasRelatedWork W1524680871 @default.
- W1491656079 hasRelatedWork W1545121408 @default.
- W1491656079 hasRelatedWork W1606846654 @default.
- W1491656079 hasRelatedWork W1970089229 @default.
- W1491656079 hasRelatedWork W1972818437 @default.
- W1491656079 hasRelatedWork W1984401708 @default.
- W1491656079 hasRelatedWork W200451625 @default.
- W1491656079 hasRelatedWork W2034962526 @default.
- W1491656079 hasRelatedWork W2082373315 @default.
- W1491656079 hasRelatedWork W2119469280 @default.
- W1491656079 hasRelatedWork W2125869102 @default.
- W1491656079 hasRelatedWork W2163101554 @default.
- W1491656079 hasRelatedWork W2166388665 @default.
- W1491656079 hasRelatedWork W2349091746 @default.
- W1491656079 hasRelatedWork W2492989203 @default.
- W1491656079 hasRelatedWork W2532450002 @default.
- W1491656079 hasRelatedWork W2542383771 @default.
- W1491656079 hasRelatedWork W2543956166 @default.
- W1491656079 hasRelatedWork W941430267 @default.
- W1491656079 hasRelatedWork W2131478423 @default.
- W1491656079 isParatext "false" @default.
- W1491656079 isRetracted "false" @default.
- W1491656079 magId "1491656079" @default.
- W1491656079 workType "book-chapter" @default.