Matches in SemOpenAlex for { <https://semopenalex.org/work/W2253683606> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2253683606 endingPage "140" @default.
- W2253683606 startingPage "137" @default.
- W2253683606 abstract "This poster paper reports on a model-based framework for software quality assurance for cardiac pacemakers developed in Simulink and described in [Chen/Diciolla/Kwiatkowska/Mereacre - Information&Computation, 2013]. A novel hybrid heart model is proposed that is suitable for quantitative verification of pacemakers.The heart model is formulated at the level of cardiac cells, can be adapted to patient data, and incorporates stochasticity. We validate the model by demonstrating that its composition with a pacemaker model can be used to check safety properties by means of approximate probabilistic verification." @default.
- W2253683606 created "2016-06-24" @default.
- W2253683606 creator A5041563113 @default.
- W2253683606 creator A5081710233 @default.
- W2253683606 date "2014-01-01" @default.
- W2253683606 modified "2023-09-23" @default.
- W2253683606 title "Automated Verification of Quantitative Properties of Cardiac Pacemaker Software." @default.
- W2253683606 cites W1892497168 @default.
- W2253683606 cites W198216027 @default.
- W2253683606 cites W1996718897 @default.
- W2253683606 cites W2070071121 @default.
- W2253683606 cites W2081324807 @default.
- W2253683606 cites W2098230708 @default.
- W2253683606 cites W2101185304 @default.
- W2253683606 cites W2106043479 @default.
- W2253683606 cites W2155157732 @default.
- W2253683606 doi "https://doi.org/10.4230/oasics.mcps.2014.137" @default.
- W2253683606 hasPublicationYear "2014" @default.
- W2253683606 type Work @default.
- W2253683606 sameAs 2253683606 @default.
- W2253683606 citedByCount "0" @default.
- W2253683606 crossrefType "journal-article" @default.
- W2253683606 hasAuthorship W2253683606A5041563113 @default.
- W2253683606 hasAuthorship W2253683606A5081710233 @default.
- W2253683606 hasConcept C11413529 @default.
- W2253683606 hasConcept C124101348 @default.
- W2253683606 hasConcept C127413603 @default.
- W2253683606 hasConcept C149091818 @default.
- W2253683606 hasConcept C154945302 @default.
- W2253683606 hasConcept C186846655 @default.
- W2253683606 hasConcept C199360897 @default.
- W2253683606 hasConcept C200601418 @default.
- W2253683606 hasConcept C2777904410 @default.
- W2253683606 hasConcept C33054407 @default.
- W2253683606 hasConcept C41008148 @default.
- W2253683606 hasConcept C45374587 @default.
- W2253683606 hasConcept C49937458 @default.
- W2253683606 hasConceptScore W2253683606C11413529 @default.
- W2253683606 hasConceptScore W2253683606C124101348 @default.
- W2253683606 hasConceptScore W2253683606C127413603 @default.
- W2253683606 hasConceptScore W2253683606C149091818 @default.
- W2253683606 hasConceptScore W2253683606C154945302 @default.
- W2253683606 hasConceptScore W2253683606C186846655 @default.
- W2253683606 hasConceptScore W2253683606C199360897 @default.
- W2253683606 hasConceptScore W2253683606C200601418 @default.
- W2253683606 hasConceptScore W2253683606C2777904410 @default.
- W2253683606 hasConceptScore W2253683606C33054407 @default.
- W2253683606 hasConceptScore W2253683606C41008148 @default.
- W2253683606 hasConceptScore W2253683606C45374587 @default.
- W2253683606 hasConceptScore W2253683606C49937458 @default.
- W2253683606 hasLocation W22536836061 @default.
- W2253683606 hasOpenAccess W2253683606 @default.
- W2253683606 hasPrimaryLocation W22536836061 @default.
- W2253683606 hasRelatedWork W1259680463 @default.
- W2253683606 hasRelatedWork W1465154648 @default.
- W2253683606 hasRelatedWork W1506726177 @default.
- W2253683606 hasRelatedWork W1527989914 @default.
- W2253683606 hasRelatedWork W1862832709 @default.
- W2253683606 hasRelatedWork W1995146104 @default.
- W2253683606 hasRelatedWork W2004010403 @default.
- W2253683606 hasRelatedWork W2007536017 @default.
- W2253683606 hasRelatedWork W2052115660 @default.
- W2253683606 hasRelatedWork W2053398545 @default.
- W2253683606 hasRelatedWork W2105300531 @default.
- W2253683606 hasRelatedWork W2138343703 @default.
- W2253683606 hasRelatedWork W2150124918 @default.
- W2253683606 hasRelatedWork W2155157732 @default.
- W2253683606 hasRelatedWork W2348276613 @default.
- W2253683606 hasRelatedWork W2511945438 @default.
- W2253683606 hasRelatedWork W2575929994 @default.
- W2253683606 hasRelatedWork W2966062158 @default.
- W2253683606 hasRelatedWork W3111088858 @default.
- W2253683606 hasRelatedWork W646792496 @default.
- W2253683606 isParatext "false" @default.
- W2253683606 isRetracted "false" @default.
- W2253683606 magId "2253683606" @default.
- W2253683606 workType "article" @default.