FRINK Linked Data Fragments server

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

• W1567429550 endingPage "10" @default.
• W1567429550 startingPage "5" @default.
• W1567429550 abstract "This paper discusses two behavioural interfaces for reliability analysis: dynamic fault trees, which model the system reliability in terms of the reliability of its components and Arcade, which models the system reliability at an architectural level. For both formalisms, the reliability is analyzed by transforming the DFT or Arcade model to a set of input-output Markov Chains. By using compositional aggregation techniques based on weak bisimilarity, significant reductions in the state space can be obtained." @default.
• W1567429550 created "2016-06-24" @default.
• W1567429550 creator A5023654677 @default.
• W1567429550 creator A5031612524 @default.
• W1567429550 creator A5036034957 @default.
• W1567429550 creator A5053065289 @default.
• W1567429550 creator A5090055328 @default.
• W1567429550 date "2008-04-01" @default.
• W1567429550 modified "2023-09-23" @default.
• W1567429550 title "Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models" @default.
• W1567429550 cites W1498342204 @default.
• W1567429550 cites W1556549114 @default.
• W1567429550 cites W1986755980 @default.
• W1567429550 cites W2003109266 @default.
• W1567429550 cites W2021089599 @default.
• W1567429550 cites W2021179335 @default.
• W1567429550 cites W2035038260 @default.
• W1567429550 cites W2120157453 @default.
• W1567429550 cites W2122140467 @default.
• W1567429550 cites W2125250212 @default.
• W1567429550 cites W2126681196 @default.
• W1567429550 cites W2130793115 @default.
• W1567429550 cites W2142486837 @default.
• W1567429550 cites W2154884120 @default.
• W1567429550 cites W2167099115 @default.
• W1567429550 cites W2491539874 @default.
• W1567429550 cites W2695253840 @default.
• W1567429550 hasPublicationYear "2008" @default.
• W1567429550 type Work @default.
• W1567429550 sameAs 1567429550 @default.
• W1567429550 citedByCount "0" @default.
• W1567429550 crossrefType "journal-article" @default.
• W1567429550 hasAuthorship W1567429550A5023654677 @default.
• W1567429550 hasAuthorship W1567429550A5031612524 @default.
• W1567429550 hasAuthorship W1567429550A5036034957 @default.
• W1567429550 hasAuthorship W1567429550A5053065289 @default.
• W1567429550 hasAuthorship W1567429550A5090055328 @default.
• W1567429550 hasConcept C105795698 @default.
• W1567429550 hasConcept C107094494 @default.
• W1567429550 hasConcept C115903868 @default.
• W1567429550 hasConcept C119857082 @default.
• W1567429550 hasConcept C121332964 @default.
• W1567429550 hasConcept C127413603 @default.
• W1567429550 hasConcept C163258240 @default.
• W1567429550 hasConcept C163836022 @default.
• W1567429550 hasConcept C171018156 @default.
• W1567429550 hasConcept C177264268 @default.
• W1567429550 hasConcept C18074226 @default.
• W1567429550 hasConcept C199360897 @default.
• W1567429550 hasConcept C200601418 @default.
• W1567429550 hasConcept C2524010 @default.
• W1567429550 hasConcept C33923547 @default.
• W1567429550 hasConcept C41008148 @default.
• W1567429550 hasConcept C43214815 @default.
• W1567429550 hasConcept C62520636 @default.
• W1567429550 hasConcept C72434380 @default.
• W1567429550 hasConcept C77019957 @default.
• W1567429550 hasConcept C98763669 @default.
• W1567429550 hasConceptScore W1567429550C105795698 @default.
• W1567429550 hasConceptScore W1567429550C107094494 @default.
• W1567429550 hasConceptScore W1567429550C115903868 @default.
• W1567429550 hasConceptScore W1567429550C119857082 @default.
• W1567429550 hasConceptScore W1567429550C121332964 @default.
• W1567429550 hasConceptScore W1567429550C127413603 @default.
• W1567429550 hasConceptScore W1567429550C163258240 @default.
• W1567429550 hasConceptScore W1567429550C163836022 @default.
• W1567429550 hasConceptScore W1567429550C171018156 @default.
• W1567429550 hasConceptScore W1567429550C177264268 @default.
• W1567429550 hasConceptScore W1567429550C18074226 @default.
• W1567429550 hasConceptScore W1567429550C199360897 @default.
• W1567429550 hasConceptScore W1567429550C200601418 @default.
• W1567429550 hasConceptScore W1567429550C2524010 @default.
• W1567429550 hasConceptScore W1567429550C33923547 @default.
• W1567429550 hasConceptScore W1567429550C41008148 @default.
• W1567429550 hasConceptScore W1567429550C43214815 @default.
• W1567429550 hasConceptScore W1567429550C62520636 @default.
• W1567429550 hasConceptScore W1567429550C72434380 @default.
• W1567429550 hasConceptScore W1567429550C77019957 @default.
• W1567429550 hasConceptScore W1567429550C98763669 @default.
• W1567429550 hasLocation W15674295501 @default.
• W1567429550 hasOpenAccess W1567429550 @default.
• W1567429550 hasPrimaryLocation W15674295501 @default.
• W1567429550 hasRelatedWork W2009942763 @default.
• W1567429550 hasRelatedWork W2010847732 @default.
• W1567429550 hasRelatedWork W2023458427 @default.
• W1567429550 hasRelatedWork W2041509965 @default.
• W1567429550 hasRelatedWork W2101814803 @default.
• W1567429550 hasRelatedWork W2106132160 @default.
• W1567429550 hasRelatedWork W2118532803 @default.
• W1567429550 hasRelatedWork W2125268176 @default.
• W1567429550 hasRelatedWork W2155213674 @default.
• W1567429550 hasRelatedWork W2167099115 @default.
• W1567429550 hasRelatedWork W2272706637 @default.
• W1567429550 hasRelatedWork W2352161586 @default.
• W1567429550 hasRelatedWork W2380563163 @default.
• W1567429550 hasRelatedWork W2405118258 @default.
• W1567429550 hasRelatedWork W2424668608 @default.
• W1567429550 hasRelatedWork W2483334576 @default.

• next