Matches in SemOpenAlex for { <https://semopenalex.org/work/W4319944799> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4319944799 endingPage "173" @default.
- W4319944799 startingPage "164" @default.
- W4319944799 abstract "One of the goals of the 4SECURail project has been to demonstrate the benefits, limits, and costs of introducing formal methods in the system requirements definition process. This has been done, on an experimental basis, by applying a specific set of tools and methodologies to a case study from the railway sector. The paper describes the approach adopted in the project and some considerations resulting from the experience." @default.
- W4319944799 created "2023-02-11" @default.
- W4319944799 creator A5012008673 @default.
- W4319944799 creator A5086319467 @default.
- W4319944799 date "2023-01-01" @default.
- W4319944799 modified "2023-09-30" @default.
- W4319944799 title "A Case Study in Formal Analysis of System Requirements" @default.
- W4319944799 cites W137536751 @default.
- W4319944799 cites W1534869992 @default.
- W4319944799 cites W1548373692 @default.
- W4319944799 cites W1597414920 @default.
- W4319944799 cites W1678144 @default.
- W4319944799 cites W168286271 @default.
- W4319944799 cites W1801460737 @default.
- W4319944799 cites W1953298634 @default.
- W4319944799 cites W1971486022 @default.
- W4319944799 cites W2031111226 @default.
- W4319944799 cites W2123106596 @default.
- W4319944799 cites W2156950199 @default.
- W4319944799 cites W2810491896 @default.
- W4319944799 cites W2955251003 @default.
- W4319944799 cites W2974906992 @default.
- W4319944799 cites W2983541997 @default.
- W4319944799 cites W2997458326 @default.
- W4319944799 cites W3172915327 @default.
- W4319944799 cites W3193921052 @default.
- W4319944799 cites W4221007041 @default.
- W4319944799 cites W4285222694 @default.
- W4319944799 doi "https://doi.org/10.1007/978-3-031-26236-4_14" @default.
- W4319944799 hasPublicationYear "2023" @default.
- W4319944799 type Work @default.
- W4319944799 citedByCount "2" @default.
- W4319944799 countsByYear W43199447992023 @default.
- W4319944799 crossrefType "book-chapter" @default.
- W4319944799 hasAuthorship W4319944799A5012008673 @default.
- W4319944799 hasAuthorship W4319944799A5086319467 @default.
- W4319944799 hasConcept C111919701 @default.
- W4319944799 hasConcept C115903868 @default.
- W4319944799 hasConcept C116253237 @default.
- W4319944799 hasConcept C127413603 @default.
- W4319944799 hasConcept C177264268 @default.
- W4319944799 hasConcept C199360897 @default.
- W4319944799 hasConcept C201995342 @default.
- W4319944799 hasConcept C2777904410 @default.
- W4319944799 hasConcept C2985583900 @default.
- W4319944799 hasConcept C40398212 @default.
- W4319944799 hasConcept C41008148 @default.
- W4319944799 hasConcept C42475967 @default.
- W4319944799 hasConcept C59488412 @default.
- W4319944799 hasConcept C75606506 @default.
- W4319944799 hasConcept C98045186 @default.
- W4319944799 hasConceptScore W4319944799C111919701 @default.
- W4319944799 hasConceptScore W4319944799C115903868 @default.
- W4319944799 hasConceptScore W4319944799C116253237 @default.
- W4319944799 hasConceptScore W4319944799C127413603 @default.
- W4319944799 hasConceptScore W4319944799C177264268 @default.
- W4319944799 hasConceptScore W4319944799C199360897 @default.
- W4319944799 hasConceptScore W4319944799C201995342 @default.
- W4319944799 hasConceptScore W4319944799C2777904410 @default.
- W4319944799 hasConceptScore W4319944799C2985583900 @default.
- W4319944799 hasConceptScore W4319944799C40398212 @default.
- W4319944799 hasConceptScore W4319944799C41008148 @default.
- W4319944799 hasConceptScore W4319944799C42475967 @default.
- W4319944799 hasConceptScore W4319944799C59488412 @default.
- W4319944799 hasConceptScore W4319944799C75606506 @default.
- W4319944799 hasConceptScore W4319944799C98045186 @default.
- W4319944799 hasLocation W43199447991 @default.
- W4319944799 hasOpenAccess W4319944799 @default.
- W4319944799 hasPrimaryLocation W43199447991 @default.
- W4319944799 hasRelatedWork W1517942333 @default.
- W4319944799 hasRelatedWork W1524361563 @default.
- W4319944799 hasRelatedWork W1964111820 @default.
- W4319944799 hasRelatedWork W2016051366 @default.
- W4319944799 hasRelatedWork W2116396384 @default.
- W4319944799 hasRelatedWork W2132815515 @default.
- W4319944799 hasRelatedWork W2212135093 @default.
- W4319944799 hasRelatedWork W4319944799 @default.
- W4319944799 hasRelatedWork W4385730994 @default.
- W4319944799 hasRelatedWork W2468820459 @default.
- W4319944799 isParatext "false" @default.
- W4319944799 isRetracted "false" @default.
- W4319944799 workType "book-chapter" @default.