Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123406906> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2123406906 abstract "In our research we are developing methodologies and tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphisms between CSP-based models and Petri net-based stochastic models. This process has given us insight for further refinements to the original CSP specifications (i.e., identify potential failure processes and recovery actions). In order to create systems that meet user needs in terms of cost, functionality, performance and reliability, it is essential to relate the parameters needed for reliability analysis to the user level specification. >" @default.
- W2123406906 created "2016-06-24" @default.
- W2123406906 creator A5004353960 @default.
- W2123406906 creator A5019549865 @default.
- W2123406906 creator A5064258184 @default.
- W2123406906 creator A5084254004 @default.
- W2123406906 date "2002-11-19" @default.
- W2123406906 modified "2023-10-18" @default.
- W2123406906 title "Reliability analysis of CSP specifications using Petri nets and Markov processes" @default.
- W2123406906 cites W1996109622 @default.
- W2123406906 cites W2077359497 @default.
- W2123406906 cites W2157974687 @default.
- W2123406906 doi "https://doi.org/10.1109/hicss.1995.375505" @default.
- W2123406906 hasPublicationYear "2002" @default.
- W2123406906 type Work @default.
- W2123406906 sameAs 2123406906 @default.
- W2123406906 citedByCount "11" @default.
- W2123406906 countsByYear W21234069062012 @default.
- W2123406906 countsByYear W21234069062016 @default.
- W2123406906 countsByYear W21234069062019 @default.
- W2123406906 crossrefType "proceedings-article" @default.
- W2123406906 hasAuthorship W2123406906A5004353960 @default.
- W2123406906 hasAuthorship W2123406906A5019549865 @default.
- W2123406906 hasAuthorship W2123406906A5064258184 @default.
- W2123406906 hasAuthorship W2123406906A5084254004 @default.
- W2123406906 hasBestOaLocation W21234069062 @default.
- W2123406906 hasConcept C105795698 @default.
- W2123406906 hasConcept C119857082 @default.
- W2123406906 hasConcept C121332964 @default.
- W2123406906 hasConcept C127413603 @default.
- W2123406906 hasConcept C159886148 @default.
- W2123406906 hasConcept C163258240 @default.
- W2123406906 hasConcept C197551870 @default.
- W2123406906 hasConcept C199360897 @default.
- W2123406906 hasConcept C200601418 @default.
- W2123406906 hasConcept C33923547 @default.
- W2123406906 hasConcept C38677869 @default.
- W2123406906 hasConcept C41008148 @default.
- W2123406906 hasConcept C43214815 @default.
- W2123406906 hasConcept C62520636 @default.
- W2123406906 hasConcept C98763669 @default.
- W2123406906 hasConceptScore W2123406906C105795698 @default.
- W2123406906 hasConceptScore W2123406906C119857082 @default.
- W2123406906 hasConceptScore W2123406906C121332964 @default.
- W2123406906 hasConceptScore W2123406906C127413603 @default.
- W2123406906 hasConceptScore W2123406906C159886148 @default.
- W2123406906 hasConceptScore W2123406906C163258240 @default.
- W2123406906 hasConceptScore W2123406906C197551870 @default.
- W2123406906 hasConceptScore W2123406906C199360897 @default.
- W2123406906 hasConceptScore W2123406906C200601418 @default.
- W2123406906 hasConceptScore W2123406906C33923547 @default.
- W2123406906 hasConceptScore W2123406906C38677869 @default.
- W2123406906 hasConceptScore W2123406906C41008148 @default.
- W2123406906 hasConceptScore W2123406906C43214815 @default.
- W2123406906 hasConceptScore W2123406906C62520636 @default.
- W2123406906 hasConceptScore W2123406906C98763669 @default.
- W2123406906 hasLocation W21234069061 @default.
- W2123406906 hasLocation W21234069062 @default.
- W2123406906 hasOpenAccess W2123406906 @default.
- W2123406906 hasPrimaryLocation W21234069061 @default.
- W2123406906 hasRelatedWork W1963865502 @default.
- W2123406906 hasRelatedWork W1975472740 @default.
- W2123406906 hasRelatedWork W2005246648 @default.
- W2123406906 hasRelatedWork W2019361913 @default.
- W2123406906 hasRelatedWork W2061728408 @default.
- W2123406906 hasRelatedWork W2137277631 @default.
- W2123406906 hasRelatedWork W2253181725 @default.
- W2123406906 hasRelatedWork W2362023948 @default.
- W2123406906 hasRelatedWork W2372005449 @default.
- W2123406906 hasRelatedWork W3119838123 @default.
- W2123406906 isParatext "false" @default.
- W2123406906 isRetracted "false" @default.
- W2123406906 magId "2123406906" @default.
- W2123406906 workType "article" @default.