Matches in SemOpenAlex for { <https://semopenalex.org/work/W2015347687> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2015347687 abstract "We present formal methods for determining whether a set of components with given reliability certificates for specific functional properties are adequate to guarantee desired end-to-end properties with specified reliability requirements. We introduce a formal notion for the reliability gap in component-based designs and demonstrate the proposed approach for analyzing this gap using a case study developed around an Elevator Control System." @default.
- W2015347687 created "2016-06-24" @default.
- W2015347687 creator A5013205698 @default.
- W2015347687 creator A5017322473 @default.
- W2015347687 creator A5022880201 @default.
- W2015347687 creator A5033329960 @default.
- W2015347687 creator A5048236517 @default.
- W2015347687 date "2013-03-01" @default.
- W2015347687 modified "2023-09-27" @default.
- W2015347687 title "Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications" @default.
- W2015347687 cites W1764952320 @default.
- W2015347687 cites W2023808162 @default.
- W2015347687 cites W2031650827 @default.
- W2015347687 cites W2048503119 @default.
- W2015347687 cites W2102817430 @default.
- W2015347687 cites W2119060393 @default.
- W2015347687 cites W2126135667 @default.
- W2015347687 cites W2134345746 @default.
- W2015347687 cites W2161601076 @default.
- W2015347687 cites W2168246878 @default.
- W2015347687 doi "https://doi.org/10.1109/les.2013.2239605" @default.
- W2015347687 hasPublicationYear "2013" @default.
- W2015347687 type Work @default.
- W2015347687 sameAs 2015347687 @default.
- W2015347687 citedByCount "7" @default.
- W2015347687 countsByYear W20153476872014 @default.
- W2015347687 countsByYear W20153476872015 @default.
- W2015347687 countsByYear W20153476872016 @default.
- W2015347687 countsByYear W20153476872017 @default.
- W2015347687 crossrefType "journal-article" @default.
- W2015347687 hasAuthorship W2015347687A5013205698 @default.
- W2015347687 hasAuthorship W2015347687A5017322473 @default.
- W2015347687 hasAuthorship W2015347687A5022880201 @default.
- W2015347687 hasAuthorship W2015347687A5033329960 @default.
- W2015347687 hasAuthorship W2015347687A5048236517 @default.
- W2015347687 hasConcept C111498074 @default.
- W2015347687 hasConcept C11413529 @default.
- W2015347687 hasConcept C121332964 @default.
- W2015347687 hasConcept C127413603 @default.
- W2015347687 hasConcept C147021018 @default.
- W2015347687 hasConcept C159985019 @default.
- W2015347687 hasConcept C163258240 @default.
- W2015347687 hasConcept C168167062 @default.
- W2015347687 hasConcept C177264268 @default.
- W2015347687 hasConcept C192562407 @default.
- W2015347687 hasConcept C199360897 @default.
- W2015347687 hasConcept C200601418 @default.
- W2015347687 hasConcept C41008148 @default.
- W2015347687 hasConcept C43214815 @default.
- W2015347687 hasConcept C62520636 @default.
- W2015347687 hasConcept C75606506 @default.
- W2015347687 hasConcept C97355855 @default.
- W2015347687 hasConceptScore W2015347687C111498074 @default.
- W2015347687 hasConceptScore W2015347687C11413529 @default.
- W2015347687 hasConceptScore W2015347687C121332964 @default.
- W2015347687 hasConceptScore W2015347687C127413603 @default.
- W2015347687 hasConceptScore W2015347687C147021018 @default.
- W2015347687 hasConceptScore W2015347687C159985019 @default.
- W2015347687 hasConceptScore W2015347687C163258240 @default.
- W2015347687 hasConceptScore W2015347687C168167062 @default.
- W2015347687 hasConceptScore W2015347687C177264268 @default.
- W2015347687 hasConceptScore W2015347687C192562407 @default.
- W2015347687 hasConceptScore W2015347687C199360897 @default.
- W2015347687 hasConceptScore W2015347687C200601418 @default.
- W2015347687 hasConceptScore W2015347687C41008148 @default.
- W2015347687 hasConceptScore W2015347687C43214815 @default.
- W2015347687 hasConceptScore W2015347687C62520636 @default.
- W2015347687 hasConceptScore W2015347687C75606506 @default.
- W2015347687 hasConceptScore W2015347687C97355855 @default.
- W2015347687 hasLocation W20153476871 @default.
- W2015347687 hasOpenAccess W2015347687 @default.
- W2015347687 hasPrimaryLocation W20153476871 @default.
- W2015347687 hasRelatedWork W1505800204 @default.
- W2015347687 hasRelatedWork W172525986 @default.
- W2015347687 hasRelatedWork W1967810200 @default.
- W2015347687 hasRelatedWork W1975408560 @default.
- W2015347687 hasRelatedWork W2016387839 @default.
- W2015347687 hasRelatedWork W2020081234 @default.
- W2015347687 hasRelatedWork W2048606225 @default.
- W2015347687 hasRelatedWork W2074471072 @default.
- W2015347687 hasRelatedWork W2098534566 @default.
- W2015347687 hasRelatedWork W2167740161 @default.
- W2015347687 hasRelatedWork W2250056096 @default.
- W2015347687 hasRelatedWork W2263979694 @default.
- W2015347687 hasRelatedWork W2365497482 @default.
- W2015347687 hasRelatedWork W2385541716 @default.
- W2015347687 hasRelatedWork W2736464718 @default.
- W2015347687 hasRelatedWork W2803359637 @default.
- W2015347687 hasRelatedWork W28336727 @default.
- W2015347687 hasRelatedWork W3159370205 @default.
- W2015347687 hasRelatedWork W389544088 @default.
- W2015347687 hasRelatedWork W571065502 @default.
- W2015347687 isParatext "false" @default.
- W2015347687 isRetracted "false" @default.
- W2015347687 magId "2015347687" @default.
- W2015347687 workType "article" @default.