Matches in SemOpenAlex for { <https://semopenalex.org/work/W163216610> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W163216610 endingPage "247" @default.
- W163216610 startingPage "242" @default.
- W163216610 abstract "We present a framework for the development of embedded systems called Averest. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware and/or software synthesis. Averest can be used for modeling and verifying finite as well as infinite state systems. Thus, Averest is not only well–suited for hardware design, but also for the development of embedded software. In particular, our input language Quartz allows the description of concurrent programs at a high level of abstraction." @default.
- W163216610 created "2016-06-24" @default.
- W163216610 creator A5081184867 @default.
- W163216610 creator A5081546580 @default.
- W163216610 date "2006-01-01" @default.
- W163216610 modified "2023-10-14" @default.
- W163216610 title "A Framework for Verifying and Implementing Embedded Systems." @default.
- W163216610 cites W1485002745 @default.
- W163216610 cites W1489435921 @default.
- W163216610 cites W1787074469 @default.
- W163216610 cites W1875492031 @default.
- W163216610 cites W2055928880 @default.
- W163216610 cites W2068308783 @default.
- W163216610 cites W2068523159 @default.
- W163216610 cites W2080267935 @default.
- W163216610 cites W2103800897 @default.
- W163216610 cites W2117496103 @default.
- W163216610 cites W2127335869 @default.
- W163216610 cites W2136099086 @default.
- W163216610 cites W2151561628 @default.
- W163216610 cites W2158921207 @default.
- W163216610 cites W2161647650 @default.
- W163216610 cites W2164319435 @default.
- W163216610 cites W2340735175 @default.
- W163216610 cites W2913459036 @default.
- W163216610 hasPublicationYear "2006" @default.
- W163216610 type Work @default.
- W163216610 sameAs 163216610 @default.
- W163216610 citedByCount "3" @default.
- W163216610 countsByYear W1632166102013 @default.
- W163216610 crossrefType "journal-article" @default.
- W163216610 hasAuthorship W163216610A5081184867 @default.
- W163216610 hasAuthorship W163216610A5081546580 @default.
- W163216610 hasConcept C110251889 @default.
- W163216610 hasConcept C111472728 @default.
- W163216610 hasConcept C124304363 @default.
- W163216610 hasConcept C138885662 @default.
- W163216610 hasConcept C149635348 @default.
- W163216610 hasConcept C154488198 @default.
- W163216610 hasConcept C169590947 @default.
- W163216610 hasConcept C199360897 @default.
- W163216610 hasConcept C2777904410 @default.
- W163216610 hasConcept C2779639559 @default.
- W163216610 hasConcept C41008148 @default.
- W163216610 hasConcept C529173508 @default.
- W163216610 hasConceptScore W163216610C110251889 @default.
- W163216610 hasConceptScore W163216610C111472728 @default.
- W163216610 hasConceptScore W163216610C124304363 @default.
- W163216610 hasConceptScore W163216610C138885662 @default.
- W163216610 hasConceptScore W163216610C149635348 @default.
- W163216610 hasConceptScore W163216610C154488198 @default.
- W163216610 hasConceptScore W163216610C169590947 @default.
- W163216610 hasConceptScore W163216610C199360897 @default.
- W163216610 hasConceptScore W163216610C2777904410 @default.
- W163216610 hasConceptScore W163216610C2779639559 @default.
- W163216610 hasConceptScore W163216610C41008148 @default.
- W163216610 hasConceptScore W163216610C529173508 @default.
- W163216610 hasLocation W1632166101 @default.
- W163216610 hasOpenAccess W163216610 @default.
- W163216610 hasPrimaryLocation W1632166101 @default.
- W163216610 hasRelatedWork W1479859270 @default.
- W163216610 hasRelatedWork W1481452196 @default.
- W163216610 hasRelatedWork W1486726900 @default.
- W163216610 hasRelatedWork W1538992817 @default.
- W163216610 hasRelatedWork W1981566976 @default.
- W163216610 hasRelatedWork W2046223545 @default.
- W163216610 hasRelatedWork W2104708099 @default.
- W163216610 hasRelatedWork W2112621095 @default.
- W163216610 hasRelatedWork W2115594860 @default.
- W163216610 hasRelatedWork W2140870582 @default.
- W163216610 hasRelatedWork W2170730798 @default.
- W163216610 hasRelatedWork W2240203645 @default.
- W163216610 hasRelatedWork W2537511381 @default.
- W163216610 hasRelatedWork W2951671527 @default.
- W163216610 hasRelatedWork W3005050804 @default.
- W163216610 hasRelatedWork W3144516564 @default.
- W163216610 hasRelatedWork W3147727939 @default.
- W163216610 hasRelatedWork W595316397 @default.
- W163216610 hasRelatedWork W69008003 @default.
- W163216610 hasRelatedWork W2814628418 @default.
- W163216610 isParatext "false" @default.
- W163216610 isRetracted "false" @default.
- W163216610 magId "163216610" @default.
- W163216610 workType "article" @default.