Closed-Loop Verification of Medical Devices With Model Abstraction and Refinement

International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-013-0289-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

The Effects of Closed-Loop Medical Devices on the Autonomy and Accountability of Persons and Systems—CORRIGENDUM

Cambridge Quarterly of Healthcare Ethics
Legal AspectsEthicsHealthIssuesHealth Policy
2016English

Verification of Robust Properties of Digital Control Closed-Loop Systems

2017English

Component-Based Abstraction and Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

International Journal of Foundations of Computer Science
Computer Science
2003English

Monotonic Abstraction-Refinement for CTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Extraction of Abstraction Invariants for Data Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Genres and Formats: Theoretical Refinement of Levels of Abstraction

Romanica Olomucensia
2014English

Solving Games via Three-Valued Abstraction Refinement

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2010English

Closed-Loop Control of Vortex Breakdown: A Model Study

Journal of Fluid Mechanics
Mechanics of MaterialsCondensed Matter PhysicsMechanical Engineering
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy