Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007786863> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2007786863 endingPage "31" @default.
- W2007786863 startingPage "5" @default.
- W2007786863 abstract "Abstract Understanding the design of a device requires both knowledge of the general physical principles that determine its behavior and knowledge of its intended functions. However, the majority of work in model-based reasoning has focused on using either one of these types of knowledge alone. In order to use both types of knowledge in understanding a device design, one must represent the functional knowledge in such a way that it has a clear interpretation in terms of observed behavior. We propose a new formalism, causal functional representation language (CFRL),for representing device functions with well-defined semantics in terms of behavior. CFRL allows the specification of conditions that a behavior must satisfy, such as occurrence of temporal sequences of events and causal relations among them and the components. We have used CFRL as the basis for afunctional verification program, which determines whether a behavior achieves an intended function." @default.
- W2007786863 created "2016-06-24" @default.
- W2007786863 creator A5002065279 @default.
- W2007786863 creator A5019555748 @default.
- W2007786863 creator A5028345249 @default.
- W2007786863 creator A5064547157 @default.
- W2007786863 date "1995-01-01" @default.
- W2007786863 modified "2023-10-05" @default.
- W2007786863 title "CAUSAL FUNCTIONAL REPRESENTATION LANGUAGE WITH BEHAVIOR-BASED SEMANTICS" @default.
- W2007786863 cites W1975973666 @default.
- W2007786863 cites W2053190303 @default.
- W2007786863 cites W2066814802 @default.
- W2007786863 cites W2117283605 @default.
- W2007786863 cites W2169580920 @default.
- W2007786863 cites W2176685946 @default.
- W2007786863 cites W219064614 @default.
- W2007786863 doi "https://doi.org/10.1080/08839519508945465" @default.
- W2007786863 hasPublicationYear "1995" @default.
- W2007786863 type Work @default.
- W2007786863 sameAs 2007786863 @default.
- W2007786863 citedByCount "41" @default.
- W2007786863 countsByYear W20077868632012 @default.
- W2007786863 countsByYear W20077868632013 @default.
- W2007786863 countsByYear W20077868632015 @default.
- W2007786863 countsByYear W20077868632016 @default.
- W2007786863 countsByYear W20077868632017 @default.
- W2007786863 countsByYear W20077868632020 @default.
- W2007786863 countsByYear W20077868632021 @default.
- W2007786863 countsByYear W20077868632023 @default.
- W2007786863 crossrefType "journal-article" @default.
- W2007786863 hasAuthorship W2007786863A5002065279 @default.
- W2007786863 hasAuthorship W2007786863A5019555748 @default.
- W2007786863 hasAuthorship W2007786863A5028345249 @default.
- W2007786863 hasAuthorship W2007786863A5064547157 @default.
- W2007786863 hasConcept C14036430 @default.
- W2007786863 hasConcept C142362112 @default.
- W2007786863 hasConcept C153349607 @default.
- W2007786863 hasConcept C154945302 @default.
- W2007786863 hasConcept C161301231 @default.
- W2007786863 hasConcept C17744445 @default.
- W2007786863 hasConcept C184337299 @default.
- W2007786863 hasConcept C199360897 @default.
- W2007786863 hasConcept C199539241 @default.
- W2007786863 hasConcept C204321447 @default.
- W2007786863 hasConcept C2776359362 @default.
- W2007786863 hasConcept C41008148 @default.
- W2007786863 hasConcept C558565934 @default.
- W2007786863 hasConcept C73301696 @default.
- W2007786863 hasConcept C78458016 @default.
- W2007786863 hasConcept C80444323 @default.
- W2007786863 hasConcept C86803240 @default.
- W2007786863 hasConcept C94625758 @default.
- W2007786863 hasConceptScore W2007786863C14036430 @default.
- W2007786863 hasConceptScore W2007786863C142362112 @default.
- W2007786863 hasConceptScore W2007786863C153349607 @default.
- W2007786863 hasConceptScore W2007786863C154945302 @default.
- W2007786863 hasConceptScore W2007786863C161301231 @default.
- W2007786863 hasConceptScore W2007786863C17744445 @default.
- W2007786863 hasConceptScore W2007786863C184337299 @default.
- W2007786863 hasConceptScore W2007786863C199360897 @default.
- W2007786863 hasConceptScore W2007786863C199539241 @default.
- W2007786863 hasConceptScore W2007786863C204321447 @default.
- W2007786863 hasConceptScore W2007786863C2776359362 @default.
- W2007786863 hasConceptScore W2007786863C41008148 @default.
- W2007786863 hasConceptScore W2007786863C558565934 @default.
- W2007786863 hasConceptScore W2007786863C73301696 @default.
- W2007786863 hasConceptScore W2007786863C78458016 @default.
- W2007786863 hasConceptScore W2007786863C80444323 @default.
- W2007786863 hasConceptScore W2007786863C86803240 @default.
- W2007786863 hasConceptScore W2007786863C94625758 @default.
- W2007786863 hasIssue "1" @default.
- W2007786863 hasLocation W20077868631 @default.
- W2007786863 hasOpenAccess W2007786863 @default.
- W2007786863 hasPrimaryLocation W20077868631 @default.
- W2007786863 hasRelatedWork W1826435951 @default.
- W2007786863 hasRelatedWork W2053314506 @default.
- W2007786863 hasRelatedWork W2062195135 @default.
- W2007786863 hasRelatedWork W2166647448 @default.
- W2007786863 hasRelatedWork W2231510842 @default.
- W2007786863 hasRelatedWork W2577553587 @default.
- W2007786863 hasRelatedWork W2580780463 @default.
- W2007786863 hasRelatedWork W2795079307 @default.
- W2007786863 hasRelatedWork W2952002389 @default.
- W2007786863 hasRelatedWork W2788308474 @default.
- W2007786863 hasVolume "9" @default.
- W2007786863 isParatext "false" @default.
- W2007786863 isRetracted "false" @default.
- W2007786863 magId "2007786863" @default.
- W2007786863 workType "article" @default.