Matches in SemOpenAlex for { <https://semopenalex.org/work/W2395505859> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2395505859 endingPage "1191" @default.
- W2395505859 startingPage "1178" @default.
- W2395505859 abstract "In this paper, we propose a synthesis method of software fault tree from software requirements specification written in NuSCR formal specification language. The software fault tree, proposed in this paper, reflects requirements on both structure and behavior and it is an integrated form. The software fault tree can be used for analyzing safety in the view of structure and behavior. We propose templates for each components in NuSCR specification language and a synthesis method of software fault tree using the templates. The research was applied into the main trip logic of the reactor protection system of ARP1400, the Korean next generation nuclear reactor system, developed by KNICS. And we evaluate feasibility of our approach through this case study." @default.
- W2395505859 created "2016-06-24" @default.
- W2395505859 creator A5022352627 @default.
- W2395505859 creator A5084114628 @default.
- W2395505859 creator A5084473082 @default.
- W2395505859 date "2005-01-01" @default.
- W2395505859 modified "2023-09-23" @default.
- W2395505859 title "A Synthesis Method of Software Fault Tree from NuSCR Formal Specification using Templates" @default.
- W2395505859 hasPublicationYear "2005" @default.
- W2395505859 type Work @default.
- W2395505859 sameAs 2395505859 @default.
- W2395505859 citedByCount "3" @default.
- W2395505859 countsByYear W23955058592012 @default.
- W2395505859 countsByYear W23955058592014 @default.
- W2395505859 crossrefType "journal-article" @default.
- W2395505859 hasAuthorship W2395505859A5022352627 @default.
- W2395505859 hasAuthorship W2395505859A5084114628 @default.
- W2395505859 hasAuthorship W2395505859A5084473082 @default.
- W2395505859 hasConcept C102780508 @default.
- W2395505859 hasConcept C107094494 @default.
- W2395505859 hasConcept C113174947 @default.
- W2395505859 hasConcept C115903868 @default.
- W2395505859 hasConcept C116253237 @default.
- W2395505859 hasConcept C127413603 @default.
- W2395505859 hasConcept C134306372 @default.
- W2395505859 hasConcept C149091818 @default.
- W2395505859 hasConcept C186846655 @default.
- W2395505859 hasConcept C199360897 @default.
- W2395505859 hasConcept C200601418 @default.
- W2395505859 hasConcept C201677973 @default.
- W2395505859 hasConcept C2777904410 @default.
- W2395505859 hasConcept C33923547 @default.
- W2395505859 hasConcept C41008148 @default.
- W2395505859 hasConcept C82714645 @default.
- W2395505859 hasConceptScore W2395505859C102780508 @default.
- W2395505859 hasConceptScore W2395505859C107094494 @default.
- W2395505859 hasConceptScore W2395505859C113174947 @default.
- W2395505859 hasConceptScore W2395505859C115903868 @default.
- W2395505859 hasConceptScore W2395505859C116253237 @default.
- W2395505859 hasConceptScore W2395505859C127413603 @default.
- W2395505859 hasConceptScore W2395505859C134306372 @default.
- W2395505859 hasConceptScore W2395505859C149091818 @default.
- W2395505859 hasConceptScore W2395505859C186846655 @default.
- W2395505859 hasConceptScore W2395505859C199360897 @default.
- W2395505859 hasConceptScore W2395505859C200601418 @default.
- W2395505859 hasConceptScore W2395505859C201677973 @default.
- W2395505859 hasConceptScore W2395505859C2777904410 @default.
- W2395505859 hasConceptScore W2395505859C33923547 @default.
- W2395505859 hasConceptScore W2395505859C41008148 @default.
- W2395505859 hasConceptScore W2395505859C82714645 @default.
- W2395505859 hasIssue "12" @default.
- W2395505859 hasLocation W23955058591 @default.
- W2395505859 hasOpenAccess W2395505859 @default.
- W2395505859 hasPrimaryLocation W23955058591 @default.
- W2395505859 hasRelatedWork W114524855 @default.
- W2395505859 hasRelatedWork W1499058580 @default.
- W2395505859 hasRelatedWork W1512115515 @default.
- W2395505859 hasRelatedWork W168394658 @default.
- W2395505859 hasRelatedWork W1966629014 @default.
- W2395505859 hasRelatedWork W1977223654 @default.
- W2395505859 hasRelatedWork W2009466554 @default.
- W2395505859 hasRelatedWork W2047564410 @default.
- W2395505859 hasRelatedWork W2053808314 @default.
- W2395505859 hasRelatedWork W2120525820 @default.
- W2395505859 hasRelatedWork W2122275570 @default.
- W2395505859 hasRelatedWork W2145423848 @default.
- W2395505859 hasRelatedWork W2165746913 @default.
- W2395505859 hasRelatedWork W2397503885 @default.
- W2395505859 hasRelatedWork W2570915387 @default.
- W2395505859 hasRelatedWork W2588192138 @default.
- W2395505859 hasRelatedWork W2984239327 @default.
- W2395505859 hasRelatedWork W3112522535 @default.
- W2395505859 hasRelatedWork W3152377411 @default.
- W2395505859 hasRelatedWork W2928694119 @default.
- W2395505859 hasVolume "32" @default.
- W2395505859 isParatext "false" @default.
- W2395505859 isRetracted "false" @default.
- W2395505859 magId "2395505859" @default.
- W2395505859 workType "article" @default.