Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018607512> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2018607512 abstract "Monitors are small IPs that check critical systems, such as radio-altimeters that on-line control the landing phase in modern planes. It is essential to get correct information and avoid erroneous messages from these monitors. Asynchronous monitors are very robust to the environment variations; they remain functional in a wide range of power supplies or temperatures, and can reliably monitor synchronous circuits in a harsh environment. This paper discusses how asynchronous monitors can be modeled and generated from Property Specification Language (PSL). These monitors have been implemented and validated on a FPGA board and a CMOS 65 nm technology." @default.
- W2018607512 created "2016-06-24" @default.
- W2018607512 creator A5007418105 @default.
- W2018607512 creator A5038428972 @default.
- W2018607512 creator A5067330751 @default.
- W2018607512 date "2010-04-01" @default.
- W2018607512 modified "2023-09-26" @default.
- W2018607512 title "Synthesis of asynchronous monitors for critical electronic systems" @default.
- W2018607512 cites W105423953 @default.
- W2018607512 cites W1514480347 @default.
- W2018607512 cites W1545186619 @default.
- W2018607512 cites W1597832877 @default.
- W2018607512 cites W1984272421 @default.
- W2018607512 cites W1996109622 @default.
- W2018607512 cites W2071589114 @default.
- W2018607512 cites W2103931510 @default.
- W2018607512 cites W2121316343 @default.
- W2018607512 cites W2123613958 @default.
- W2018607512 cites W2123732432 @default.
- W2018607512 cites W2150872535 @default.
- W2018607512 cites W2161501894 @default.
- W2018607512 cites W2168938812 @default.
- W2018607512 cites W2487142227 @default.
- W2018607512 cites W2504260463 @default.
- W2018607512 cites W2789930546 @default.
- W2018607512 doi "https://doi.org/10.1109/ddecs.2010.5491756" @default.
- W2018607512 hasPublicationYear "2010" @default.
- W2018607512 type Work @default.
- W2018607512 sameAs 2018607512 @default.
- W2018607512 citedByCount "2" @default.
- W2018607512 crossrefType "proceedings-article" @default.
- W2018607512 hasAuthorship W2018607512A5007418105 @default.
- W2018607512 hasAuthorship W2018607512A5038428972 @default.
- W2018607512 hasAuthorship W2018607512A5067330751 @default.
- W2018607512 hasConcept C119599485 @default.
- W2018607512 hasConcept C127413603 @default.
- W2018607512 hasConcept C134146338 @default.
- W2018607512 hasConcept C149635348 @default.
- W2018607512 hasConcept C151319957 @default.
- W2018607512 hasConcept C31258907 @default.
- W2018607512 hasConcept C41008148 @default.
- W2018607512 hasConcept C42935608 @default.
- W2018607512 hasConcept C79403827 @default.
- W2018607512 hasConceptScore W2018607512C119599485 @default.
- W2018607512 hasConceptScore W2018607512C127413603 @default.
- W2018607512 hasConceptScore W2018607512C134146338 @default.
- W2018607512 hasConceptScore W2018607512C149635348 @default.
- W2018607512 hasConceptScore W2018607512C151319957 @default.
- W2018607512 hasConceptScore W2018607512C31258907 @default.
- W2018607512 hasConceptScore W2018607512C41008148 @default.
- W2018607512 hasConceptScore W2018607512C42935608 @default.
- W2018607512 hasConceptScore W2018607512C79403827 @default.
- W2018607512 hasLocation W20186075121 @default.
- W2018607512 hasLocation W20186075122 @default.
- W2018607512 hasLocation W20186075123 @default.
- W2018607512 hasOpenAccess W2018607512 @default.
- W2018607512 hasPrimaryLocation W20186075121 @default.
- W2018607512 hasRelatedWork W1548344605 @default.
- W2018607512 hasRelatedWork W1575794070 @default.
- W2018607512 hasRelatedWork W2006363920 @default.
- W2018607512 hasRelatedWork W2122091831 @default.
- W2018607512 hasRelatedWork W2142200380 @default.
- W2018607512 hasRelatedWork W2367372208 @default.
- W2018607512 hasRelatedWork W2388618054 @default.
- W2018607512 hasRelatedWork W2475836838 @default.
- W2018607512 hasRelatedWork W2995926156 @default.
- W2018607512 hasRelatedWork W3100791781 @default.
- W2018607512 isParatext "false" @default.
- W2018607512 isRetracted "false" @default.
- W2018607512 magId "2018607512" @default.
- W2018607512 workType "article" @default.