Matches in SemOpenAlex for { <https://semopenalex.org/work/W3012551644> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W3012551644 abstract "Author(s): Cha, Stephen S.; Leveson, Nancy G.; Shimeall, Timothy J. | Abstract: MURPHY is a experimental methodology, which will include an integrated tool set, for building safety-critical, real-time software. Although it is language independent, many safety-critical software projects are currently planning to use Ada. This paper presents the semantic templates for the verification of the safety of Ada programs using Software Fault Tree Analysis. An example is shown of applying the technique to an Ada program, and the tools in the MURPHY tool set to aid in this type of analysis are described." @default.
- W3012551644 created "2020-03-23" @default.
- W3012551644 creator A5059022749 @default.
- W3012551644 creator A5082030097 @default.
- W3012551644 creator A5084051792 @default.
- W3012551644 date "1987-09-28" @default.
- W3012551644 modified "2023-09-23" @default.
- W3012551644 title "Safety verification of ADA programs in MURPHY" @default.
- W3012551644 hasPublicationYear "1987" @default.
- W3012551644 type Work @default.
- W3012551644 sameAs 3012551644 @default.
- W3012551644 citedByCount "1" @default.
- W3012551644 crossrefType "journal-article" @default.
- W3012551644 hasAuthorship W3012551644A5059022749 @default.
- W3012551644 hasAuthorship W3012551644A5082030097 @default.
- W3012551644 hasAuthorship W3012551644A5084051792 @default.
- W3012551644 hasConcept C107094494 @default.
- W3012551644 hasConcept C115903868 @default.
- W3012551644 hasConcept C127413603 @default.
- W3012551644 hasConcept C177264268 @default.
- W3012551644 hasConcept C186846655 @default.
- W3012551644 hasConcept C199360897 @default.
- W3012551644 hasConcept C200601418 @default.
- W3012551644 hasConcept C2777904410 @default.
- W3012551644 hasConcept C33054407 @default.
- W3012551644 hasConcept C41008148 @default.
- W3012551644 hasConcept C529173508 @default.
- W3012551644 hasConceptScore W3012551644C107094494 @default.
- W3012551644 hasConceptScore W3012551644C115903868 @default.
- W3012551644 hasConceptScore W3012551644C127413603 @default.
- W3012551644 hasConceptScore W3012551644C177264268 @default.
- W3012551644 hasConceptScore W3012551644C186846655 @default.
- W3012551644 hasConceptScore W3012551644C199360897 @default.
- W3012551644 hasConceptScore W3012551644C200601418 @default.
- W3012551644 hasConceptScore W3012551644C2777904410 @default.
- W3012551644 hasConceptScore W3012551644C33054407 @default.
- W3012551644 hasConceptScore W3012551644C41008148 @default.
- W3012551644 hasConceptScore W3012551644C529173508 @default.
- W3012551644 hasLocation W30125516441 @default.
- W3012551644 hasOpenAccess W3012551644 @default.
- W3012551644 hasPrimaryLocation W30125516441 @default.
- W3012551644 hasRelatedWork W101387123 @default.
- W3012551644 hasRelatedWork W1583624301 @default.
- W3012551644 hasRelatedWork W1593078723 @default.
- W3012551644 hasRelatedWork W1606989725 @default.
- W3012551644 hasRelatedWork W2012013114 @default.
- W3012551644 hasRelatedWork W2031081412 @default.
- W3012551644 hasRelatedWork W2055853946 @default.
- W3012551644 hasRelatedWork W2085899376 @default.
- W3012551644 hasRelatedWork W2142134719 @default.
- W3012551644 hasRelatedWork W2160780702 @default.
- W3012551644 hasRelatedWork W2545346455 @default.
- W3012551644 hasRelatedWork W2602311773 @default.
- W3012551644 hasRelatedWork W284097005 @default.
- W3012551644 hasRelatedWork W298623178 @default.
- W3012551644 hasRelatedWork W3196758943 @default.
- W3012551644 hasRelatedWork W332825748 @default.
- W3012551644 hasRelatedWork W345004612 @default.
- W3012551644 hasRelatedWork W747134065 @default.
- W3012551644 hasRelatedWork W809459620 @default.
- W3012551644 hasRelatedWork W2091621518 @default.
- W3012551644 isParatext "false" @default.
- W3012551644 isRetracted "false" @default.
- W3012551644 magId "3012551644" @default.
- W3012551644 workType "article" @default.