FRINK Linked Data Fragments server

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

• W2743177593 abstract "In this paper, we focus on Assume/Guarantee contracts consisting in (i) a non deterministic model of components behaviour, and (ii) a stochastic and non deterministic model of systems faults. Two types of contracts capable of capturing reliability and availability properties are considered. We show that Satisfaction and Refinement can be checked by effective methods thanks to a reduction to classical verification problems on Markov Decision Processes and transition systems. Theorems supporting compositional reasoning and enabling the scalable analysis of complex systems are also detailed in the paper." @default.
• W2743177593 created "2017-08-17" @default.
• W2743177593 creator A5000905818 @default.
• W2743177593 creator A5030129842 @default.
• W2743177593 creator A5041261044 @default.
• W2743177593 date "2009-01-01" @default.
• W2743177593 modified "2023-10-03" @default.
• W2743177593 title "Compositional Reasoning on (Probabilistic) Contracts" @default.
• W2743177593 cites W1501731334 @default.
• W2743177593 cites W1535987901 @default.
• W2743177593 cites W1561925517 @default.
• W2743177593 cites W1990609140 @default.
• W2743177593 cites W2020293036 @default.
• W2743177593 cites W2023808162 @default.
• W2743177593 cites W2054801208 @default.
• W2743177593 cites W2074209229 @default.
• W2743177593 cites W2101508170 @default.
• W2743177593 cites W2109187338 @default.
• W2743177593 cites W2123576015 @default.
• W2743177593 cites W2131742729 @default.
• W2743177593 cites W2140425425 @default.
• W2743177593 cites W2142119680 @default.
• W2743177593 cites W2151033407 @default.
• W2743177593 cites W2155707149 @default.
• W2743177593 cites W2165161585 @default.
• W2743177593 cites W2170646120 @default.
• W2743177593 cites W2238201325 @default.
• W2743177593 cites W2729534927 @default.
• W2743177593 cites W2806619258 @default.
• W2743177593 cites W3005728772 @default.
• W2743177593 cites W42364276 @default.
• W2743177593 hasPublicationYear "2009" @default.
• W2743177593 type Work @default.
• W2743177593 sameAs 2743177593 @default.
• W2743177593 citedByCount "2" @default.
• W2743177593 crossrefType "journal-article" @default.
• W2743177593 hasAuthorship W2743177593A5000905818 @default.
• W2743177593 hasAuthorship W2743177593A5030129842 @default.
• W2743177593 hasAuthorship W2743177593A5041261044 @default.
• W2743177593 hasConcept C105795698 @default.
• W2743177593 hasConcept C106189395 @default.
• W2743177593 hasConcept C111335779 @default.
• W2743177593 hasConcept C119857082 @default.
• W2743177593 hasConcept C120665830 @default.
• W2743177593 hasConcept C121332964 @default.
• W2743177593 hasConcept C154945302 @default.
• W2743177593 hasConcept C159886148 @default.
• W2743177593 hasConcept C163258240 @default.
• W2743177593 hasConcept C192209626 @default.
• W2743177593 hasConcept C2524010 @default.
• W2743177593 hasConcept C33923547 @default.
• W2743177593 hasConcept C41008148 @default.
• W2743177593 hasConcept C43214815 @default.
• W2743177593 hasConcept C48044578 @default.
• W2743177593 hasConcept C49937458 @default.
• W2743177593 hasConcept C62520636 @default.
• W2743177593 hasConcept C77088390 @default.
• W2743177593 hasConcept C80444323 @default.
• W2743177593 hasConcept C98763669 @default.
• W2743177593 hasConceptScore W2743177593C105795698 @default.
• W2743177593 hasConceptScore W2743177593C106189395 @default.
• W2743177593 hasConceptScore W2743177593C111335779 @default.
• W2743177593 hasConceptScore W2743177593C119857082 @default.
• W2743177593 hasConceptScore W2743177593C120665830 @default.
• W2743177593 hasConceptScore W2743177593C121332964 @default.
• W2743177593 hasConceptScore W2743177593C154945302 @default.
• W2743177593 hasConceptScore W2743177593C159886148 @default.
• W2743177593 hasConceptScore W2743177593C163258240 @default.
• W2743177593 hasConceptScore W2743177593C192209626 @default.
• W2743177593 hasConceptScore W2743177593C2524010 @default.
• W2743177593 hasConceptScore W2743177593C33923547 @default.
• W2743177593 hasConceptScore W2743177593C41008148 @default.
• W2743177593 hasConceptScore W2743177593C43214815 @default.
• W2743177593 hasConceptScore W2743177593C48044578 @default.
• W2743177593 hasConceptScore W2743177593C49937458 @default.
• W2743177593 hasConceptScore W2743177593C62520636 @default.
• W2743177593 hasConceptScore W2743177593C77088390 @default.
• W2743177593 hasConceptScore W2743177593C80444323 @default.
• W2743177593 hasConceptScore W2743177593C98763669 @default.
• W2743177593 hasLocation W27431775931 @default.
• W2743177593 hasOpenAccess W2743177593 @default.
• W2743177593 hasPrimaryLocation W27431775931 @default.
• W2743177593 hasRelatedWork W126234966 @default.
• W2743177593 hasRelatedWork W1534037438 @default.
• W2743177593 hasRelatedWork W1585451655 @default.
• W2743177593 hasRelatedWork W171134486 @default.
• W2743177593 hasRelatedWork W1805131879 @default.
• W2743177593 hasRelatedWork W184306787 @default.
• W2743177593 hasRelatedWork W1850048324 @default.
• W2743177593 hasRelatedWork W1915198063 @default.
• W2743177593 hasRelatedWork W2004601443 @default.
• W2743177593 hasRelatedWork W2147263744 @default.
• W2743177593 hasRelatedWork W2170652004 @default.
• W2743177593 hasRelatedWork W2261464827 @default.
• W2743177593 hasRelatedWork W23025651 @default.
• W2743177593 hasRelatedWork W2741179118 @default.
• W2743177593 hasRelatedWork W2774787353 @default.
• W2743177593 hasRelatedWork W2778159661 @default.
• W2743177593 hasRelatedWork W2966088204 @default.
• W2743177593 hasRelatedWork W3030962294 @default.

• next