Matches in SemOpenAlex for { <https://semopenalex.org/work/W2757758944> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2757758944 abstract "Two known shortcomings of standard techniques in formal verification are the limited capability to provide system-level assertions, and the scalability to large, complex models, such as those needed in Cyber-Physical Systems (CPS) applications. Leveraging data, which nowadays is becoming ever more accessible, has the potential to mitigate such limitations. However, this leads to a lack of formal proofs that are needed for modern safety-critical systems." @default.
- W2757758944 created "2017-10-06" @default.
- W2757758944 creator A5091718585 @default.
- W2757758944 date "2017-09-29" @default.
- W2757758944 modified "2023-10-17" @default.
- W2757758944 title "Formal verification of complex systems" @default.
- W2757758944 cites W1956206657 @default.
- W2757758944 cites W1976698613 @default.
- W2757758944 cites W1980146067 @default.
- W2757758944 cites W1993112505 @default.
- W2757758944 cites W2047671935 @default.
- W2757758944 cites W2080813827 @default.
- W2757758944 cites W2171282796 @default.
- W2757758944 cites W2537041723 @default.
- W2757758944 cites W2592969750 @default.
- W2757758944 cites W2620490417 @default.
- W2757758944 cites W2742193029 @default.
- W2757758944 cites W2745094767 @default.
- W2757758944 cites W2963907727 @default.
- W2757758944 doi "https://doi.org/10.1145/3127041.3131362" @default.
- W2757758944 hasPublicationYear "2017" @default.
- W2757758944 type Work @default.
- W2757758944 sameAs 2757758944 @default.
- W2757758944 citedByCount "7" @default.
- W2757758944 countsByYear W27577589442019 @default.
- W2757758944 countsByYear W27577589442020 @default.
- W2757758944 countsByYear W27577589442021 @default.
- W2757758944 crossrefType "proceedings-article" @default.
- W2757758944 hasAuthorship W2757758944A5091718585 @default.
- W2757758944 hasConcept C108710211 @default.
- W2757758944 hasConcept C111498074 @default.
- W2757758944 hasConcept C111919701 @default.
- W2757758944 hasConcept C115903868 @default.
- W2757758944 hasConcept C120314980 @default.
- W2757758944 hasConcept C179768478 @default.
- W2757758944 hasConcept C199360897 @default.
- W2757758944 hasConcept C2524010 @default.
- W2757758944 hasConcept C2985583900 @default.
- W2757758944 hasConcept C33923547 @default.
- W2757758944 hasConcept C41008148 @default.
- W2757758944 hasConcept C48044578 @default.
- W2757758944 hasConcept C75606506 @default.
- W2757758944 hasConcept C77088390 @default.
- W2757758944 hasConceptScore W2757758944C108710211 @default.
- W2757758944 hasConceptScore W2757758944C111498074 @default.
- W2757758944 hasConceptScore W2757758944C111919701 @default.
- W2757758944 hasConceptScore W2757758944C115903868 @default.
- W2757758944 hasConceptScore W2757758944C120314980 @default.
- W2757758944 hasConceptScore W2757758944C179768478 @default.
- W2757758944 hasConceptScore W2757758944C199360897 @default.
- W2757758944 hasConceptScore W2757758944C2524010 @default.
- W2757758944 hasConceptScore W2757758944C2985583900 @default.
- W2757758944 hasConceptScore W2757758944C33923547 @default.
- W2757758944 hasConceptScore W2757758944C41008148 @default.
- W2757758944 hasConceptScore W2757758944C48044578 @default.
- W2757758944 hasConceptScore W2757758944C75606506 @default.
- W2757758944 hasConceptScore W2757758944C77088390 @default.
- W2757758944 hasLocation W27577589441 @default.
- W2757758944 hasOpenAccess W2757758944 @default.
- W2757758944 hasPrimaryLocation W27577589441 @default.
- W2757758944 hasRelatedWork W1524361563 @default.
- W2757758944 hasRelatedWork W1952402404 @default.
- W2757758944 hasRelatedWork W1992741870 @default.
- W2757758944 hasRelatedWork W2027487876 @default.
- W2757758944 hasRelatedWork W2153734519 @default.
- W2757758944 hasRelatedWork W2364921833 @default.
- W2757758944 hasRelatedWork W2380023786 @default.
- W2757758944 hasRelatedWork W2385146268 @default.
- W2757758944 hasRelatedWork W2546696010 @default.
- W2757758944 hasRelatedWork W3186572156 @default.
- W2757758944 isParatext "false" @default.
- W2757758944 isRetracted "false" @default.
- W2757758944 magId "2757758944" @default.
- W2757758944 workType "article" @default.