Matches in SemOpenAlex for { <https://semopenalex.org/work/W2811117449> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2811117449 abstract "In our previous work, we introduced a framework for property-based testing applied on formal models with temporal properties. In this paper, we discuss model-based approaches for analysis of temporal properties of safety-critical systems more deeply. We also discuss the core features of (textsc {Focus}^{ST}), framework for formal specification and analysis of temporal and spatial properties of safety-critical systems. To illustrate the feasibility of the framework, we demonstrate how to implement on its basis time-triggered and event-based view on systems with temporal properties." @default.
- W2811117449 created "2018-07-10" @default.
- W2811117449 creator A5049584186 @default.
- W2811117449 date "2018-01-01" @default.
- W2811117449 modified "2023-09-27" @default.
- W2811117449 title "Model-Based Analysis of Temporal Properties" @default.
- W2811117449 cites W144134186 @default.
- W2811117449 cites W1482486776 @default.
- W2811117449 cites W1503029938 @default.
- W2811117449 cites W1557758214 @default.
- W2811117449 cites W1603296878 @default.
- W2811117449 cites W1674186056 @default.
- W2811117449 cites W1878074184 @default.
- W2811117449 cites W1930286120 @default.
- W2811117449 cites W2039260280 @default.
- W2811117449 cites W2101508170 @default.
- W2811117449 cites W2105390837 @default.
- W2811117449 cites W2119717320 @default.
- W2811117449 cites W2133170941 @default.
- W2811117449 cites W2242673879 @default.
- W2811117449 cites W2269421689 @default.
- W2811117449 cites W2383143340 @default.
- W2811117449 cites W2558418289 @default.
- W2811117449 cites W2558679168 @default.
- W2811117449 cites W2949189829 @default.
- W2811117449 cites W2962907459 @default.
- W2811117449 cites W4250846042 @default.
- W2811117449 doi "https://doi.org/10.1007/978-3-319-94135-6_10" @default.
- W2811117449 hasPublicationYear "2018" @default.
- W2811117449 type Work @default.
- W2811117449 sameAs 2811117449 @default.
- W2811117449 citedByCount "2" @default.
- W2811117449 countsByYear W28111174492018 @default.
- W2811117449 countsByYear W28111174492019 @default.
- W2811117449 crossrefType "book-chapter" @default.
- W2811117449 hasAuthorship W2811117449A5049584186 @default.
- W2811117449 hasConcept C110251889 @default.
- W2811117449 hasConcept C111472728 @default.
- W2811117449 hasConcept C115903868 @default.
- W2811117449 hasConcept C116253237 @default.
- W2811117449 hasConcept C120665830 @default.
- W2811117449 hasConcept C121332964 @default.
- W2811117449 hasConcept C138885662 @default.
- W2811117449 hasConcept C189950617 @default.
- W2811117449 hasConcept C192209626 @default.
- W2811117449 hasConcept C2164484 @default.
- W2811117449 hasConcept C25016198 @default.
- W2811117449 hasConcept C2779662365 @default.
- W2811117449 hasConcept C41008148 @default.
- W2811117449 hasConcept C62520636 @default.
- W2811117449 hasConcept C76155785 @default.
- W2811117449 hasConcept C80444323 @default.
- W2811117449 hasConceptScore W2811117449C110251889 @default.
- W2811117449 hasConceptScore W2811117449C111472728 @default.
- W2811117449 hasConceptScore W2811117449C115903868 @default.
- W2811117449 hasConceptScore W2811117449C116253237 @default.
- W2811117449 hasConceptScore W2811117449C120665830 @default.
- W2811117449 hasConceptScore W2811117449C121332964 @default.
- W2811117449 hasConceptScore W2811117449C138885662 @default.
- W2811117449 hasConceptScore W2811117449C189950617 @default.
- W2811117449 hasConceptScore W2811117449C192209626 @default.
- W2811117449 hasConceptScore W2811117449C2164484 @default.
- W2811117449 hasConceptScore W2811117449C25016198 @default.
- W2811117449 hasConceptScore W2811117449C2779662365 @default.
- W2811117449 hasConceptScore W2811117449C41008148 @default.
- W2811117449 hasConceptScore W2811117449C62520636 @default.
- W2811117449 hasConceptScore W2811117449C76155785 @default.
- W2811117449 hasConceptScore W2811117449C80444323 @default.
- W2811117449 hasLocation W28111174491 @default.
- W2811117449 hasOpenAccess W2811117449 @default.
- W2811117449 hasPrimaryLocation W28111174491 @default.
- W2811117449 hasRelatedWork W149719342 @default.
- W2811117449 hasRelatedWork W1537610827 @default.
- W2811117449 hasRelatedWork W1983706967 @default.
- W2811117449 hasRelatedWork W1997076099 @default.
- W2811117449 hasRelatedWork W2007404940 @default.
- W2811117449 hasRelatedWork W2025587368 @default.
- W2811117449 hasRelatedWork W2093739678 @default.
- W2811117449 hasRelatedWork W2123191890 @default.
- W2811117449 hasRelatedWork W2151415973 @default.
- W2811117449 hasRelatedWork W2186570638 @default.
- W2811117449 hasRelatedWork W2188527223 @default.
- W2811117449 hasRelatedWork W2337097700 @default.
- W2811117449 hasRelatedWork W2401881258 @default.
- W2811117449 hasRelatedWork W2404174520 @default.
- W2811117449 hasRelatedWork W2505108478 @default.
- W2811117449 hasRelatedWork W2509362286 @default.
- W2811117449 hasRelatedWork W2949858156 @default.
- W2811117449 hasRelatedWork W2951862711 @default.
- W2811117449 hasRelatedWork W38124377 @default.
- W2811117449 hasRelatedWork W60503650 @default.
- W2811117449 isParatext "false" @default.
- W2811117449 isRetracted "false" @default.
- W2811117449 magId "2811117449" @default.
- W2811117449 workType "book-chapter" @default.