Matches in SemOpenAlex for { <https://semopenalex.org/work/W83027962> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W83027962 abstract "Abstract Modeling and analysis of high consequence, high assurance systems requires special modeling considerations. System safety and reliability information must be captured in the models. Previously, high consequence systems were modeled using separate, disjoint models for safety, reliability, and security. The MultiGraph Architecture facilitates the implementation of a model-integrated system for modeling and analysis of high assurance systems. Among the tools used for analyzing safety and reliability are a behavioral simulator and an automatic fault tree generation and analysis tool. Symbolic model checking techniques are used to efficiently investigate the system models. A method for converting finite state machine models to ordered binary decision diagrams allows the application of symbolic model checking routines to the system models. This integrated approach to modeling and analysis of high consequence systems ensures consistency between the models and the different analysis tools." @default.
- W83027962 created "2016-06-24" @default.
- W83027962 creator A5013237840 @default.
- W83027962 creator A5051971761 @default.
- W83027962 creator A5055783241 @default.
- W83027962 creator A5072513778 @default.
- W83027962 creator A5082014236 @default.
- W83027962 date "1998-09-13" @default.
- W83027962 modified "2023-09-24" @default.
- W83027962 title "An Integrated Multi-Domain Analysis Environment for High Consequence Systems" @default.
- W83027962 cites W1004524886 @default.
- W83027962 cites W2011303243 @default.
- W83027962 cites W2016206146 @default.
- W83027962 cites W2030224590 @default.
- W83027962 cites W2076681493 @default.
- W83027962 cites W2080267935 @default.
- W83027962 cites W2099251677 @default.
- W83027962 cites W2099395647 @default.
- W83027962 cites W2099529102 @default.
- W83027962 cites W2109432723 @default.
- W83027962 cites W2115179079 @default.
- W83027962 cites W3001137031 @default.
- W83027962 doi "https://doi.org/10.1115/detc98/cie-5532" @default.
- W83027962 hasPublicationYear "1998" @default.
- W83027962 type Work @default.
- W83027962 sameAs 83027962 @default.
- W83027962 citedByCount "0" @default.
- W83027962 crossrefType "proceedings-article" @default.
- W83027962 hasAuthorship W83027962A5013237840 @default.
- W83027962 hasAuthorship W83027962A5051971761 @default.
- W83027962 hasAuthorship W83027962A5055783241 @default.
- W83027962 hasAuthorship W83027962A5072513778 @default.
- W83027962 hasAuthorship W83027962A5082014236 @default.
- W83027962 hasConcept C107094494 @default.
- W83027962 hasConcept C110251889 @default.
- W83027962 hasConcept C111498074 @default.
- W83027962 hasConcept C115903868 @default.
- W83027962 hasConcept C121332964 @default.
- W83027962 hasConcept C127413603 @default.
- W83027962 hasConcept C134306372 @default.
- W83027962 hasConcept C154945302 @default.
- W83027962 hasConcept C163258240 @default.
- W83027962 hasConcept C200601418 @default.
- W83027962 hasConcept C2776436953 @default.
- W83027962 hasConcept C3309909 @default.
- W83027962 hasConcept C33923547 @default.
- W83027962 hasConcept C36503486 @default.
- W83027962 hasConcept C41008148 @default.
- W83027962 hasConcept C43214815 @default.
- W83027962 hasConcept C62520636 @default.
- W83027962 hasConcept C80444323 @default.
- W83027962 hasConceptScore W83027962C107094494 @default.
- W83027962 hasConceptScore W83027962C110251889 @default.
- W83027962 hasConceptScore W83027962C111498074 @default.
- W83027962 hasConceptScore W83027962C115903868 @default.
- W83027962 hasConceptScore W83027962C121332964 @default.
- W83027962 hasConceptScore W83027962C127413603 @default.
- W83027962 hasConceptScore W83027962C134306372 @default.
- W83027962 hasConceptScore W83027962C154945302 @default.
- W83027962 hasConceptScore W83027962C163258240 @default.
- W83027962 hasConceptScore W83027962C200601418 @default.
- W83027962 hasConceptScore W83027962C2776436953 @default.
- W83027962 hasConceptScore W83027962C3309909 @default.
- W83027962 hasConceptScore W83027962C33923547 @default.
- W83027962 hasConceptScore W83027962C36503486 @default.
- W83027962 hasConceptScore W83027962C41008148 @default.
- W83027962 hasConceptScore W83027962C43214815 @default.
- W83027962 hasConceptScore W83027962C62520636 @default.
- W83027962 hasConceptScore W83027962C80444323 @default.
- W83027962 hasLocation W830279621 @default.
- W83027962 hasOpenAccess W83027962 @default.
- W83027962 hasPrimaryLocation W830279621 @default.
- W83027962 hasRelatedWork W1577874587 @default.
- W83027962 hasRelatedWork W1602225758 @default.
- W83027962 hasRelatedWork W1847719685 @default.
- W83027962 hasRelatedWork W1993683261 @default.
- W83027962 hasRelatedWork W2053474829 @default.
- W83027962 hasRelatedWork W2064496464 @default.
- W83027962 hasRelatedWork W2090792778 @default.
- W83027962 hasRelatedWork W2199185998 @default.
- W83027962 hasRelatedWork W2371150236 @default.
- W83027962 hasRelatedWork W2427640952 @default.
- W83027962 hasRelatedWork W2596796005 @default.
- W83027962 hasRelatedWork W2771581165 @default.
- W83027962 hasRelatedWork W2783552934 @default.
- W83027962 hasRelatedWork W2821792214 @default.
- W83027962 hasRelatedWork W2945003108 @default.
- W83027962 hasRelatedWork W2952673984 @default.
- W83027962 hasRelatedWork W3105204092 @default.
- W83027962 hasRelatedWork W2168183207 @default.
- W83027962 hasRelatedWork W2842055648 @default.
- W83027962 hasRelatedWork W2880122462 @default.
- W83027962 isParatext "false" @default.
- W83027962 isRetracted "false" @default.
- W83027962 magId "83027962" @default.
- W83027962 workType "article" @default.