Matches in SemOpenAlex for { <https://semopenalex.org/work/W1982225114> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1982225114 endingPage "87" @default.
- W1982225114 startingPage "77" @default.
- W1982225114 abstract "By describing several industrial-scale applications of formal methods, we demonstrate that formal methods for software development and safety analysis are being increasingly adopted in the safety-critical systems sector. The benefits and limitations of formal methods are described, and the problems in developing software for safety-critical systems are analyzed." @default.
- W1982225114 created "2016-06-24" @default.
- W1982225114 creator A5003870034 @default.
- W1982225114 creator A5044917982 @default.
- W1982225114 creator A5057626060 @default.
- W1982225114 date "1995-01-01" @default.
- W1982225114 modified "2023-10-16" @default.
- W1982225114 title "The practice of formal methods in safety-critical systems" @default.
- W1982225114 cites W1986699246 @default.
- W1982225114 cites W1992352638 @default.
- W1982225114 cites W2024839988 @default.
- W1982225114 cites W2075806344 @default.
- W1982225114 cites W2078224548 @default.
- W1982225114 cites W2114754412 @default.
- W1982225114 cites W2160976676 @default.
- W1982225114 cites W4249627601 @default.
- W1982225114 doi "https://doi.org/10.1016/0164-1212(94)00082-x" @default.
- W1982225114 hasPublicationYear "1995" @default.
- W1982225114 type Work @default.
- W1982225114 sameAs 1982225114 @default.
- W1982225114 citedByCount "22" @default.
- W1982225114 countsByYear W19822251142013 @default.
- W1982225114 countsByYear W19822251142014 @default.
- W1982225114 countsByYear W19822251142015 @default.
- W1982225114 countsByYear W19822251142016 @default.
- W1982225114 countsByYear W19822251142019 @default.
- W1982225114 countsByYear W19822251142021 @default.
- W1982225114 countsByYear W19822251142023 @default.
- W1982225114 crossrefType "journal-article" @default.
- W1982225114 hasAuthorship W1982225114A5003870034 @default.
- W1982225114 hasAuthorship W1982225114A5044917982 @default.
- W1982225114 hasAuthorship W1982225114A5057626060 @default.
- W1982225114 hasConcept C112930515 @default.
- W1982225114 hasConcept C115903868 @default.
- W1982225114 hasConcept C116253237 @default.
- W1982225114 hasConcept C127413603 @default.
- W1982225114 hasConcept C144133560 @default.
- W1982225114 hasConcept C163707989 @default.
- W1982225114 hasConcept C199360897 @default.
- W1982225114 hasConcept C201995342 @default.
- W1982225114 hasConcept C2777904410 @default.
- W1982225114 hasConcept C41008148 @default.
- W1982225114 hasConcept C75606506 @default.
- W1982225114 hasConceptScore W1982225114C112930515 @default.
- W1982225114 hasConceptScore W1982225114C115903868 @default.
- W1982225114 hasConceptScore W1982225114C116253237 @default.
- W1982225114 hasConceptScore W1982225114C127413603 @default.
- W1982225114 hasConceptScore W1982225114C144133560 @default.
- W1982225114 hasConceptScore W1982225114C163707989 @default.
- W1982225114 hasConceptScore W1982225114C199360897 @default.
- W1982225114 hasConceptScore W1982225114C201995342 @default.
- W1982225114 hasConceptScore W1982225114C2777904410 @default.
- W1982225114 hasConceptScore W1982225114C41008148 @default.
- W1982225114 hasConceptScore W1982225114C75606506 @default.
- W1982225114 hasIssue "1" @default.
- W1982225114 hasLocation W19822251141 @default.
- W1982225114 hasOpenAccess W1982225114 @default.
- W1982225114 hasPrimaryLocation W19822251141 @default.
- W1982225114 hasRelatedWork W1524361563 @default.
- W1982225114 hasRelatedWork W1525144101 @default.
- W1982225114 hasRelatedWork W1571738907 @default.
- W1982225114 hasRelatedWork W1911633385 @default.
- W1982225114 hasRelatedWork W1964111820 @default.
- W1982225114 hasRelatedWork W2077629733 @default.
- W1982225114 hasRelatedWork W2132815515 @default.
- W1982225114 hasRelatedWork W2171674700 @default.
- W1982225114 hasRelatedWork W2605218250 @default.
- W1982225114 hasRelatedWork W2783678835 @default.
- W1982225114 hasVolume "28" @default.
- W1982225114 isParatext "false" @default.
- W1982225114 isRetracted "false" @default.
- W1982225114 magId "1982225114" @default.
- W1982225114 workType "article" @default.