Matches in SemOpenAlex for { <https://semopenalex.org/work/W1714528075> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1714528075 endingPage "94" @default.
- W1714528075 startingPage "84" @default.
- W1714528075 abstract "A leak test procedure for a combustion system which is used in the chemical industry was verified. This procedure is important since it reduces the probability of explosions. Both government and internal company standards where employed in creating the initial leak test procedure. Several major faults were discovered by the verification of a logic model of the procedure and equipment using SMV. This paper describes the leak test procedure with its corresponding combustion system pipe network, the approach employed in modeling the process, failure modes included in the process model, computational challenges, and verification results. This study indicates that the formal method, SMV, is an appropriate tool for verification of industrial processes of modest complexity" @default.
- W1714528075 created "2016-06-24" @default.
- W1714528075 creator A5054621541 @default.
- W1714528075 creator A5066794938 @default.
- W1714528075 creator A5081160335 @default.
- W1714528075 date "1997-01-01" @default.
- W1714528075 modified "2023-10-14" @default.
- W1714528075 title "Verification of a chemical process leak test procedure" @default.
- W1714528075 cites W1728798265 @default.
- W1714528075 cites W2030224590 @default.
- W1714528075 cites W2061438988 @default.
- W1714528075 cites W2080267935 @default.
- W1714528075 cites W2099120582 @default.
- W1714528075 cites W2108414441 @default.
- W1714528075 cites W2117189826 @default.
- W1714528075 cites W2151056896 @default.
- W1714528075 cites W2344671925 @default.
- W1714528075 cites W4239629804 @default.
- W1714528075 doi "https://doi.org/10.1007/3-540-63166-6_11" @default.
- W1714528075 hasPublicationYear "1997" @default.
- W1714528075 type Work @default.
- W1714528075 sameAs 1714528075 @default.
- W1714528075 citedByCount "5" @default.
- W1714528075 crossrefType "book-chapter" @default.
- W1714528075 hasAuthorship W1714528075A5054621541 @default.
- W1714528075 hasAuthorship W1714528075A5066794938 @default.
- W1714528075 hasAuthorship W1714528075A5081160335 @default.
- W1714528075 hasBestOaLocation W17145280751 @default.
- W1714528075 hasConcept C110251889 @default.
- W1714528075 hasConcept C11413529 @default.
- W1714528075 hasConcept C127413603 @default.
- W1714528075 hasConcept C199360897 @default.
- W1714528075 hasConcept C200601418 @default.
- W1714528075 hasConcept C2780378346 @default.
- W1714528075 hasConcept C41008148 @default.
- W1714528075 hasConcept C87717796 @default.
- W1714528075 hasConcept C98045186 @default.
- W1714528075 hasConceptScore W1714528075C110251889 @default.
- W1714528075 hasConceptScore W1714528075C11413529 @default.
- W1714528075 hasConceptScore W1714528075C127413603 @default.
- W1714528075 hasConceptScore W1714528075C199360897 @default.
- W1714528075 hasConceptScore W1714528075C200601418 @default.
- W1714528075 hasConceptScore W1714528075C2780378346 @default.
- W1714528075 hasConceptScore W1714528075C41008148 @default.
- W1714528075 hasConceptScore W1714528075C87717796 @default.
- W1714528075 hasConceptScore W1714528075C98045186 @default.
- W1714528075 hasLocation W17145280751 @default.
- W1714528075 hasOpenAccess W1714528075 @default.
- W1714528075 hasPrimaryLocation W17145280751 @default.
- W1714528075 hasRelatedWork W2009772222 @default.
- W1714528075 hasRelatedWork W2117798332 @default.
- W1714528075 hasRelatedWork W2134424614 @default.
- W1714528075 hasRelatedWork W2177212599 @default.
- W1714528075 hasRelatedWork W2364866360 @default.
- W1714528075 hasRelatedWork W2370841479 @default.
- W1714528075 hasRelatedWork W2379162918 @default.
- W1714528075 hasRelatedWork W2551596431 @default.
- W1714528075 hasRelatedWork W2736871302 @default.
- W1714528075 hasRelatedWork W2899084033 @default.
- W1714528075 isParatext "false" @default.
- W1714528075 isRetracted "false" @default.
- W1714528075 magId "1714528075" @default.
- W1714528075 workType "book-chapter" @default.