FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1602889228> ?p ?o ?g. }

• W1602889228 endingPage "639" @default.
• W1602889228 startingPage "625" @default.
• W1602889228 abstract "Safety assessment is a well-established process for assuring the safety and reliability of critical (aeronautical) systems. It uses probabilistic (quantitative) analysis to provide precise measures about the safety requirements of a system. Traditionally, quantitative safety assessment uses fault-tree analysis, but certification authorities also allow the use of Markov models. In this paper we propose a strategy for quantitative safety assessment based on the Prism model-checker. Prism models are extracted systematically from a high-level model via the application of translation rules. We illustrate our strategy with a representative system design from the airborne industry." @default.
• W1602889228 created "2016-06-24" @default.
• W1602889228 creator A5005316360 @default.
• W1602889228 creator A5041930802 @default.
• W1602889228 creator A5059165995 @default.
• W1602889228 creator A5061835870 @default.
• W1602889228 creator A5074182733 @default.
• W1602889228 date "2010-01-01" @default.
• W1602889228 modified "2023-09-26" @default.
• W1602889228 title "Systematic Model-Based Safety Assessment Via Probabilistic Model Checking" @default.
• W1602889228 cites W1565059069 @default.
• W1602889228 cites W1600629848 @default.
• W1602889228 cites W168394658 @default.
• W1602889228 cites W1802815921 @default.
• W1602889228 cites W1985326391 @default.
• W1602889228 cites W2041509965 @default.
• W1602889228 cites W2123310844 @default.
• W1602889228 cites W2133164797 @default.
• W1602889228 cites W2140597298 @default.
• W1602889228 cites W2141956452 @default.
• W1602889228 cites W2142108731 @default.
• W1602889228 cites W2156313695 @default.
• W1602889228 cites W2165600364 @default.
• W1602889228 cites W4231340621 @default.
• W1602889228 doi "https://doi.org/10.1007/978-3-642-16558-0_50" @default.
• W1602889228 hasPublicationYear "2010" @default.
• W1602889228 type Work @default.
• W1602889228 sameAs 1602889228 @default.
• W1602889228 citedByCount "15" @default.
• W1602889228 countsByYear W16028892282012 @default.
• W1602889228 countsByYear W16028892282015 @default.
• W1602889228 countsByYear W16028892282016 @default.
• W1602889228 countsByYear W16028892282017 @default.
• W1602889228 countsByYear W16028892282021 @default.
• W1602889228 countsByYear W16028892282022 @default.
• W1602889228 crossrefType "book-chapter" @default.
• W1602889228 hasAuthorship W1602889228A5005316360 @default.
• W1602889228 hasAuthorship W1602889228A5041930802 @default.
• W1602889228 hasAuthorship W1602889228A5059165995 @default.
• W1602889228 hasAuthorship W1602889228A5061835870 @default.
• W1602889228 hasAuthorship W1602889228A5074182733 @default.
• W1602889228 hasBestOaLocation W16028892282 @default.
• W1602889228 hasConcept C107094494 @default.
• W1602889228 hasConcept C110251889 @default.
• W1602889228 hasConcept C111919701 @default.
• W1602889228 hasConcept C11413529 @default.
• W1602889228 hasConcept C121332964 @default.
• W1602889228 hasConcept C124101348 @default.
• W1602889228 hasConcept C127413603 @default.
• W1602889228 hasConcept C132835097 @default.
• W1602889228 hasConcept C154945302 @default.
• W1602889228 hasConcept C163258240 @default.
• W1602889228 hasConcept C17744445 @default.
• W1602889228 hasConcept C199539241 @default.
• W1602889228 hasConcept C200601418 @default.
• W1602889228 hasConcept C201995342 @default.
• W1602889228 hasConcept C41008148 @default.
• W1602889228 hasConcept C43214815 @default.
• W1602889228 hasConcept C46304622 @default.
• W1602889228 hasConcept C49937458 @default.
• W1602889228 hasConcept C62520636 @default.
• W1602889228 hasConcept C98045186 @default.
• W1602889228 hasConceptScore W1602889228C107094494 @default.
• W1602889228 hasConceptScore W1602889228C110251889 @default.
• W1602889228 hasConceptScore W1602889228C111919701 @default.
• W1602889228 hasConceptScore W1602889228C11413529 @default.
• W1602889228 hasConceptScore W1602889228C121332964 @default.
• W1602889228 hasConceptScore W1602889228C124101348 @default.
• W1602889228 hasConceptScore W1602889228C127413603 @default.
• W1602889228 hasConceptScore W1602889228C132835097 @default.
• W1602889228 hasConceptScore W1602889228C154945302 @default.
• W1602889228 hasConceptScore W1602889228C163258240 @default.
• W1602889228 hasConceptScore W1602889228C17744445 @default.
• W1602889228 hasConceptScore W1602889228C199539241 @default.
• W1602889228 hasConceptScore W1602889228C200601418 @default.
• W1602889228 hasConceptScore W1602889228C201995342 @default.
• W1602889228 hasConceptScore W1602889228C41008148 @default.
• W1602889228 hasConceptScore W1602889228C43214815 @default.
• W1602889228 hasConceptScore W1602889228C46304622 @default.
• W1602889228 hasConceptScore W1602889228C49937458 @default.
• W1602889228 hasConceptScore W1602889228C62520636 @default.
• W1602889228 hasConceptScore W1602889228C98045186 @default.
• W1602889228 hasLocation W16028892281 @default.
• W1602889228 hasLocation W16028892282 @default.
• W1602889228 hasOpenAccess W1602889228 @default.
• W1602889228 hasPrimaryLocation W16028892281 @default.
• W1602889228 hasRelatedWork W1973784609 @default.
• W1602889228 hasRelatedWork W2003136834 @default.
• W1602889228 hasRelatedWork W2003233639 @default.
• W1602889228 hasRelatedWork W2035822260 @default.
• W1602889228 hasRelatedWork W2047833267 @default.
• W1602889228 hasRelatedWork W2122894575 @default.
• W1602889228 hasRelatedWork W2312985471 @default.
• W1602889228 hasRelatedWork W2358049183 @default.
• W1602889228 hasRelatedWork W2690353328 @default.
• W1602889228 hasRelatedWork W3199377469 @default.
• W1602889228 isParatext "false" @default.
• W1602889228 isRetracted "false" @default.

• next