Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022121396> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2022121396 endingPage "969" @default.
- W2022121396 startingPage "941" @default.
- W2022121396 abstract "In this paper, we provide an overview of the use of formal methods in the development of safety critical systems and the notion ofsafety in the context. Our attempt would be to draw lessons from the various research efforts that have gone in towards the development of robust/reliable software for safety-critical systems. In the context of India leaping into hi-tech areas, we argue for the need of a thrust in the development of quality software and also discuss the steps to be initiated towards such a goal." @default.
- W2022121396 created "2016-06-24" @default.
- W2022121396 creator A5002224645 @default.
- W2022121396 date "1994-12-01" @default.
- W2022121396 modified "2023-10-16" @default.
- W2022121396 title "Design of software for safety critical systems" @default.
- W2022121396 cites W1482002366 @default.
- W2022121396 cites W2016310411 @default.
- W2022121396 cites W2024532029 @default.
- W2022121396 cites W2072961973 @default.
- W2022121396 cites W2076494576 @default.
- W2022121396 cites W2085741309 @default.
- W2022121396 cites W2091905875 @default.
- W2022121396 cites W2094580572 @default.
- W2022121396 cites W2114754412 @default.
- W2022121396 cites W2336642255 @default.
- W2022121396 cites W25288640 @default.
- W2022121396 doi "https://doi.org/10.1007/bf02743937" @default.
- W2022121396 hasPublicationYear "1994" @default.
- W2022121396 type Work @default.
- W2022121396 sameAs 2022121396 @default.
- W2022121396 citedByCount "1" @default.
- W2022121396 countsByYear W20221213962013 @default.
- W2022121396 crossrefType "journal-article" @default.
- W2022121396 hasAuthorship W2022121396A5002224645 @default.
- W2022121396 hasBestOaLocation W20221213962 @default.
- W2022121396 hasConcept C111472728 @default.
- W2022121396 hasConcept C112930515 @default.
- W2022121396 hasConcept C115903868 @default.
- W2022121396 hasConcept C127413603 @default.
- W2022121396 hasConcept C138885662 @default.
- W2022121396 hasConcept C144133560 @default.
- W2022121396 hasConcept C151730666 @default.
- W2022121396 hasConcept C163707989 @default.
- W2022121396 hasConcept C195094911 @default.
- W2022121396 hasConcept C199360897 @default.
- W2022121396 hasConcept C201995342 @default.
- W2022121396 hasConcept C2777904410 @default.
- W2022121396 hasConcept C2779343474 @default.
- W2022121396 hasConcept C2779530757 @default.
- W2022121396 hasConcept C41008148 @default.
- W2022121396 hasConcept C529173508 @default.
- W2022121396 hasConcept C86803240 @default.
- W2022121396 hasConceptScore W2022121396C111472728 @default.
- W2022121396 hasConceptScore W2022121396C112930515 @default.
- W2022121396 hasConceptScore W2022121396C115903868 @default.
- W2022121396 hasConceptScore W2022121396C127413603 @default.
- W2022121396 hasConceptScore W2022121396C138885662 @default.
- W2022121396 hasConceptScore W2022121396C144133560 @default.
- W2022121396 hasConceptScore W2022121396C151730666 @default.
- W2022121396 hasConceptScore W2022121396C163707989 @default.
- W2022121396 hasConceptScore W2022121396C195094911 @default.
- W2022121396 hasConceptScore W2022121396C199360897 @default.
- W2022121396 hasConceptScore W2022121396C201995342 @default.
- W2022121396 hasConceptScore W2022121396C2777904410 @default.
- W2022121396 hasConceptScore W2022121396C2779343474 @default.
- W2022121396 hasConceptScore W2022121396C2779530757 @default.
- W2022121396 hasConceptScore W2022121396C41008148 @default.
- W2022121396 hasConceptScore W2022121396C529173508 @default.
- W2022121396 hasConceptScore W2022121396C86803240 @default.
- W2022121396 hasIssue "6" @default.
- W2022121396 hasLocation W20221213961 @default.
- W2022121396 hasLocation W20221213962 @default.
- W2022121396 hasOpenAccess W2022121396 @default.
- W2022121396 hasPrimaryLocation W20221213961 @default.
- W2022121396 hasRelatedWork W1493931182 @default.
- W2022121396 hasRelatedWork W149816724 @default.
- W2022121396 hasRelatedWork W1932020719 @default.
- W2022121396 hasRelatedWork W2054141861 @default.
- W2022121396 hasRelatedWork W2093432410 @default.
- W2022121396 hasRelatedWork W2145944603 @default.
- W2022121396 hasRelatedWork W2271843438 @default.
- W2022121396 hasRelatedWork W2391057577 @default.
- W2022121396 hasRelatedWork W2725874015 @default.
- W2022121396 hasRelatedWork W768804450 @default.
- W2022121396 hasVolume "19" @default.
- W2022121396 isParatext "false" @default.
- W2022121396 isRetracted "false" @default.
- W2022121396 magId "2022121396" @default.
- W2022121396 workType "article" @default.