Matches in SemOpenAlex for { <https://semopenalex.org/work/W2391566586> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2391566586 abstract "Based on formal method, the development method of safety critical software is deeply discussed in the paper. First, concepts of safety critical system and formal method are introduced, and then the strongpoints of formal methods are analyzed. then a new developed model-SCSM(Safety Critical Software Model) is proposed, which can resolve the safety problem effectively. At last, we present an application." @default.
- W2391566586 created "2016-06-24" @default.
- W2391566586 creator A5043069455 @default.
- W2391566586 date "2002-01-01" @default.
- W2391566586 modified "2023-09-25" @default.
- W2391566586 title "A Development Model for Safety Critical Software" @default.
- W2391566586 hasPublicationYear "2002" @default.
- W2391566586 type Work @default.
- W2391566586 sameAs 2391566586 @default.
- W2391566586 citedByCount "0" @default.
- W2391566586 crossrefType "journal-article" @default.
- W2391566586 hasAuthorship W2391566586A5043069455 @default.
- W2391566586 hasConcept C115903868 @default.
- W2391566586 hasConcept C127413603 @default.
- W2391566586 hasConcept C163707989 @default.
- W2391566586 hasConcept C199360897 @default.
- W2391566586 hasConcept C201995342 @default.
- W2391566586 hasConcept C2777904410 @default.
- W2391566586 hasConcept C2780074322 @default.
- W2391566586 hasConcept C41008148 @default.
- W2391566586 hasConcept C529173508 @default.
- W2391566586 hasConcept C75606506 @default.
- W2391566586 hasConceptScore W2391566586C115903868 @default.
- W2391566586 hasConceptScore W2391566586C127413603 @default.
- W2391566586 hasConceptScore W2391566586C163707989 @default.
- W2391566586 hasConceptScore W2391566586C199360897 @default.
- W2391566586 hasConceptScore W2391566586C201995342 @default.
- W2391566586 hasConceptScore W2391566586C2777904410 @default.
- W2391566586 hasConceptScore W2391566586C2780074322 @default.
- W2391566586 hasConceptScore W2391566586C41008148 @default.
- W2391566586 hasConceptScore W2391566586C529173508 @default.
- W2391566586 hasConceptScore W2391566586C75606506 @default.
- W2391566586 hasOpenAccess W2391566586 @default.
- W2391566586 hasRelatedWork W1495552337 @default.
- W2391566586 hasRelatedWork W1500785929 @default.
- W2391566586 hasRelatedWork W1563433650 @default.
- W2391566586 hasRelatedWork W2007125424 @default.
- W2391566586 hasRelatedWork W2024839988 @default.
- W2391566586 hasRelatedWork W2057602129 @default.
- W2391566586 hasRelatedWork W2066309137 @default.
- W2391566586 hasRelatedWork W2085241873 @default.
- W2391566586 hasRelatedWork W2096723421 @default.
- W2391566586 hasRelatedWork W2105657528 @default.
- W2391566586 hasRelatedWork W2115256361 @default.
- W2391566586 hasRelatedWork W2115565059 @default.
- W2391566586 hasRelatedWork W2120912240 @default.
- W2391566586 hasRelatedWork W2347191878 @default.
- W2391566586 hasRelatedWork W2351243941 @default.
- W2391566586 hasRelatedWork W2469577867 @default.
- W2391566586 hasRelatedWork W2546029973 @default.
- W2391566586 hasRelatedWork W3022748797 @default.
- W2391566586 hasRelatedWork W4483752 @default.
- W2391566586 hasRelatedWork W2146501388 @default.
- W2391566586 isParatext "false" @default.
- W2391566586 isRetracted "false" @default.
- W2391566586 magId "2391566586" @default.
- W2391566586 workType "article" @default.