Matches in SemOpenAlex for { <https://semopenalex.org/work/W2554846886> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2554846886 endingPage "40" @default.
- W2554846886 startingPage "35" @default.
- W2554846886 abstract "Distributed systems are often safety- and security-critical systems and have strong qualitative and quantitative formal require- ments, equally important time-critical performance-based quality of ser- vice properties, and need to dynamically adapt to changes in a poten- tially hostile and often probabilistic environment. These aspects make distributed systems complex and hard to design, build, test, and verify. To tackle this challenge, we propose a formal pattern-based approach and framework for the design of correct-, secure-, and safe-by-construction distributed systems." @default.
- W2554846886 created "2016-11-30" @default.
- W2554846886 creator A5007839082 @default.
- W2554846886 creator A5020008570 @default.
- W2554846886 creator A5023235581 @default.
- W2554846886 creator A5042265989 @default.
- W2554846886 date "2012-12-01" @default.
- W2554846886 modified "2023-10-15" @default.
- W2554846886 title "Enhancing Safety and Security of Distributed Systems through Formal Patterns" @default.
- W2554846886 cites W1480690121 @default.
- W2554846886 cites W1504007491 @default.
- W2554846886 cites W1506225852 @default.
- W2554846886 cites W1555374846 @default.
- W2554846886 cites W1569013546 @default.
- W2554846886 cites W157143398 @default.
- W2554846886 cites W1649645444 @default.
- W2554846886 cites W1930925468 @default.
- W2554846886 cites W1976195354 @default.
- W2554846886 cites W2006340882 @default.
- W2554846886 cites W2106265536 @default.
- W2554846886 cites W2113582392 @default.
- W2554846886 cites W2131629857 @default.
- W2554846886 cites W2153204881 @default.
- W2554846886 hasPublicationYear "2012" @default.
- W2554846886 type Work @default.
- W2554846886 sameAs 2554846886 @default.
- W2554846886 citedByCount "0" @default.
- W2554846886 crossrefType "proceedings-article" @default.
- W2554846886 hasAuthorship W2554846886A5007839082 @default.
- W2554846886 hasAuthorship W2554846886A5020008570 @default.
- W2554846886 hasAuthorship W2554846886A5023235581 @default.
- W2554846886 hasAuthorship W2554846886A5042265989 @default.
- W2554846886 hasConcept C111498074 @default.
- W2554846886 hasConcept C115903868 @default.
- W2554846886 hasConcept C120314980 @default.
- W2554846886 hasConcept C154945302 @default.
- W2554846886 hasConcept C38652104 @default.
- W2554846886 hasConcept C41008148 @default.
- W2554846886 hasConcept C49937458 @default.
- W2554846886 hasConcept C75606506 @default.
- W2554846886 hasConcept C80444323 @default.
- W2554846886 hasConceptScore W2554846886C111498074 @default.
- W2554846886 hasConceptScore W2554846886C115903868 @default.
- W2554846886 hasConceptScore W2554846886C120314980 @default.
- W2554846886 hasConceptScore W2554846886C154945302 @default.
- W2554846886 hasConceptScore W2554846886C38652104 @default.
- W2554846886 hasConceptScore W2554846886C41008148 @default.
- W2554846886 hasConceptScore W2554846886C49937458 @default.
- W2554846886 hasConceptScore W2554846886C75606506 @default.
- W2554846886 hasConceptScore W2554846886C80444323 @default.
- W2554846886 hasLocation W25548468861 @default.
- W2554846886 hasOpenAccess W2554846886 @default.
- W2554846886 hasPrimaryLocation W25548468861 @default.
- W2554846886 hasRelatedWork W1879536302 @default.
- W2554846886 hasRelatedWork W2005162541 @default.
- W2554846886 hasRelatedWork W2179426049 @default.
- W2554846886 hasRelatedWork W2205855056 @default.
- W2554846886 hasRelatedWork W2410184305 @default.
- W2554846886 hasRelatedWork W2592831557 @default.
- W2554846886 hasRelatedWork W2706866006 @default.
- W2554846886 hasRelatedWork W2741295673 @default.
- W2554846886 hasRelatedWork W2742097343 @default.
- W2554846886 hasRelatedWork W2759546820 @default.
- W2554846886 hasRelatedWork W2769473304 @default.
- W2554846886 hasRelatedWork W2792275885 @default.
- W2554846886 hasRelatedWork W2943211873 @default.
- W2554846886 hasRelatedWork W2946910998 @default.
- W2554846886 hasRelatedWork W3122853820 @default.
- W2554846886 hasRelatedWork W3137046592 @default.
- W2554846886 hasRelatedWork W3180871679 @default.
- W2554846886 hasRelatedWork W3182277171 @default.
- W2554846886 hasRelatedWork W577375014 @default.
- W2554846886 hasRelatedWork W2495851563 @default.
- W2554846886 hasVolume "834" @default.
- W2554846886 isParatext "false" @default.
- W2554846886 isRetracted "false" @default.
- W2554846886 magId "2554846886" @default.
- W2554846886 workType "article" @default.