Matches in SemOpenAlex for { <https://semopenalex.org/work/W4010604> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W4010604 abstract "The complexity degree of modern chemical plants demands for the use of formal specification methods. A framework for hybrid systems contains specification modules and verification elements proving the plant safety. The design of a plant is reduced to the composition of framework components, the identification of possible sources of danger and the identification of suitable verification elements. Our contribution introduces a tool supporting the selection of suitable safety properties eliminating possible sources of danger. The tool harmonic supporting this process is based on approaches of expert systems. An example examination of a plant specification clarifies the use of this program." @default.
- W4010604 created "2016-06-24" @default.
- W4010604 creator A5026729392 @default.
- W4010604 creator A5036208048 @default.
- W4010604 date "2007-01-01" @default.
- W4010604 modified "2023-09-23" @default.
- W4010604 title "A Tool for Hazard Detection in Hybrid Systems" @default.
- W4010604 cites W1542910193 @default.
- W4010604 cites W1557828026 @default.
- W4010604 cites W1573699099 @default.
- W4010604 cites W1576422137 @default.
- W4010604 cites W1582882984 @default.
- W4010604 cites W1857327297 @default.
- W4010604 cites W1948178245 @default.
- W4010604 cites W2000947342 @default.
- W4010604 cites W2003706438 @default.
- W4010604 cites W2011764763 @default.
- W4010604 cites W2015688007 @default.
- W4010604 cites W2027575651 @default.
- W4010604 cites W2051821306 @default.
- W4010604 cites W2076513239 @default.
- W4010604 cites W2092368923 @default.
- W4010604 cites W2097952906 @default.
- W4010604 cites W2101804417 @default.
- W4010604 cites W2115179079 @default.
- W4010604 cites W2124778357 @default.
- W4010604 cites W2134084873 @default.
- W4010604 cites W2137864352 @default.
- W4010604 cites W2337555139 @default.
- W4010604 cites W41699526 @default.
- W4010604 cites W154326474 @default.
- W4010604 cites W2133032373 @default.
- W4010604 hasPublicationYear "2007" @default.
- W4010604 type Work @default.
- W4010604 sameAs 4010604 @default.
- W4010604 citedByCount "0" @default.
- W4010604 crossrefType "journal-article" @default.
- W4010604 hasAuthorship W4010604A5026729392 @default.
- W4010604 hasAuthorship W4010604A5036208048 @default.
- W4010604 hasConcept C111498074 @default.
- W4010604 hasConcept C115903868 @default.
- W4010604 hasConcept C116253237 @default.
- W4010604 hasConcept C116834253 @default.
- W4010604 hasConcept C127413603 @default.
- W4010604 hasConcept C178790620 @default.
- W4010604 hasConcept C185592680 @default.
- W4010604 hasConcept C199360897 @default.
- W4010604 hasConcept C200601418 @default.
- W4010604 hasConcept C201995342 @default.
- W4010604 hasConcept C206355099 @default.
- W4010604 hasConcept C41008148 @default.
- W4010604 hasConcept C49261128 @default.
- W4010604 hasConcept C59822182 @default.
- W4010604 hasConcept C86803240 @default.
- W4010604 hasConcept C98045186 @default.
- W4010604 hasConceptScore W4010604C111498074 @default.
- W4010604 hasConceptScore W4010604C115903868 @default.
- W4010604 hasConceptScore W4010604C116253237 @default.
- W4010604 hasConceptScore W4010604C116834253 @default.
- W4010604 hasConceptScore W4010604C127413603 @default.
- W4010604 hasConceptScore W4010604C178790620 @default.
- W4010604 hasConceptScore W4010604C185592680 @default.
- W4010604 hasConceptScore W4010604C199360897 @default.
- W4010604 hasConceptScore W4010604C200601418 @default.
- W4010604 hasConceptScore W4010604C201995342 @default.
- W4010604 hasConceptScore W4010604C206355099 @default.
- W4010604 hasConceptScore W4010604C41008148 @default.
- W4010604 hasConceptScore W4010604C49261128 @default.
- W4010604 hasConceptScore W4010604C59822182 @default.
- W4010604 hasConceptScore W4010604C86803240 @default.
- W4010604 hasConceptScore W4010604C98045186 @default.
- W4010604 hasOpenAccess W4010604 @default.
- W4010604 hasRelatedWork W1410815718 @default.
- W4010604 hasRelatedWork W1493634953 @default.
- W4010604 hasRelatedWork W1602898305 @default.
- W4010604 hasRelatedWork W1888608175 @default.
- W4010604 hasRelatedWork W1973260748 @default.
- W4010604 hasRelatedWork W2032812881 @default.
- W4010604 hasRelatedWork W2036908429 @default.
- W4010604 hasRelatedWork W2086087477 @default.
- W4010604 hasRelatedWork W2093859700 @default.
- W4010604 hasRelatedWork W2099123274 @default.
- W4010604 hasRelatedWork W2165822092 @default.
- W4010604 hasRelatedWork W2185535999 @default.
- W4010604 hasRelatedWork W2344267433 @default.
- W4010604 hasRelatedWork W2390298893 @default.
- W4010604 hasRelatedWork W2409856554 @default.
- W4010604 hasRelatedWork W2992642797 @default.
- W4010604 hasRelatedWork W3021165567 @default.
- W4010604 hasRelatedWork W60803118 @default.
- W4010604 hasRelatedWork W767017929 @default.
- W4010604 hasRelatedWork W815652712 @default.
- W4010604 isParatext "false" @default.
- W4010604 isRetracted "false" @default.
- W4010604 magId "4010604" @default.
- W4010604 workType "article" @default.