Matches in SemOpenAlex for { <https://semopenalex.org/work/W1788891353> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1788891353 endingPage "572" @default.
- W1788891353 startingPage "563" @default.
- W1788891353 abstract "There is still clearly widespread resistance to the deployment of formal methods in industry. On the other hand, certain fields of application, viz. VLSI design, protocol specification, and certain kinds of system, viz. safety-critical, real-time, have of necessity already deployed some form of well-defined engineering methods to ensure a high degree of robustness and reliability in delivered products. In the telecommunications field there is currently a sense of the inevitable in the absolute necessity for the ultimate deployment of formal methods for service specification." @default.
- W1788891353 created "2016-06-24" @default.
- W1788891353 creator A5039963656 @default.
- W1788891353 creator A5066762051 @default.
- W1788891353 creator A5068087482 @default.
- W1788891353 date "1994-01-01" @default.
- W1788891353 modified "2023-09-23" @default.
- W1788891353 title "Formal methods & service specification" @default.
- W1788891353 cites W1554479337 @default.
- W1788891353 cites W1641988583 @default.
- W1788891353 cites W1644864267 @default.
- W1788891353 cites W1794841650 @default.
- W1788891353 cites W1983645265 @default.
- W1788891353 cites W2001098379 @default.
- W1788891353 cites W2021883762 @default.
- W1788891353 cites W2024484915 @default.
- W1788891353 cites W2169082138 @default.
- W1788891353 cites W4211026310 @default.
- W1788891353 cites W944338401 @default.
- W1788891353 doi "https://doi.org/10.1007/bfb0013448" @default.
- W1788891353 hasPublicationYear "1994" @default.
- W1788891353 type Work @default.
- W1788891353 sameAs 1788891353 @default.
- W1788891353 citedByCount "3" @default.
- W1788891353 countsByYear W17888913532015 @default.
- W1788891353 countsByYear W17888913532022 @default.
- W1788891353 crossrefType "book-chapter" @default.
- W1788891353 hasAuthorship W1788891353A5039963656 @default.
- W1788891353 hasAuthorship W1788891353A5066762051 @default.
- W1788891353 hasAuthorship W1788891353A5068087482 @default.
- W1788891353 hasConcept C115903868 @default.
- W1788891353 hasConcept C116253237 @default.
- W1788891353 hasConcept C136264566 @default.
- W1788891353 hasConcept C162324750 @default.
- W1788891353 hasConcept C199360897 @default.
- W1788891353 hasConcept C2780378061 @default.
- W1788891353 hasConcept C41008148 @default.
- W1788891353 hasConcept C75606506 @default.
- W1788891353 hasConceptScore W1788891353C115903868 @default.
- W1788891353 hasConceptScore W1788891353C116253237 @default.
- W1788891353 hasConceptScore W1788891353C136264566 @default.
- W1788891353 hasConceptScore W1788891353C162324750 @default.
- W1788891353 hasConceptScore W1788891353C199360897 @default.
- W1788891353 hasConceptScore W1788891353C2780378061 @default.
- W1788891353 hasConceptScore W1788891353C41008148 @default.
- W1788891353 hasConceptScore W1788891353C75606506 @default.
- W1788891353 hasLocation W17888913531 @default.
- W1788891353 hasOpenAccess W1788891353 @default.
- W1788891353 hasPrimaryLocation W17888913531 @default.
- W1788891353 hasRelatedWork W1536552036 @default.
- W1788891353 hasRelatedWork W1577002526 @default.
- W1788891353 hasRelatedWork W1583364777 @default.
- W1788891353 hasRelatedWork W1591156284 @default.
- W1788891353 hasRelatedWork W1966978306 @default.
- W1788891353 hasRelatedWork W2121507724 @default.
- W1788891353 hasRelatedWork W2157306459 @default.
- W1788891353 hasRelatedWork W2283267494 @default.
- W1788891353 hasRelatedWork W27605384 @default.
- W1788891353 hasRelatedWork W63592217 @default.
- W1788891353 isParatext "false" @default.
- W1788891353 isRetracted "false" @default.
- W1788891353 magId "1788891353" @default.
- W1788891353 workType "book-chapter" @default.