Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Zhihao Jiang
Closed-Loop Verification of Medical Devices With Model Abstraction and Refinement
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Related publications
The Effects of Closed-Loop Medical Devices on the Autonomy and Accountability of Persons and Systems—CORRIGENDUM
Cambridge Quarterly of Healthcare Ethics
Legal Aspects
Ethics
Health
Issues
Health Policy
Verification of Robust Properties of Digital Control Closed-Loop Systems
Component-Based Abstraction and Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
International Journal of Foundations of Computer Science
Computer Science
Monotonic Abstraction-Refinement for CTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extraction of Abstraction Invariants for Data Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Genres and Formats: Theoretical Refinement of Levels of Abstraction
Romanica Olomucensia
Solving Games via Three-Valued Abstraction Refinement
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Closed-Loop Control of Vortex Breakdown: A Model Study
Journal of Fluid Mechanics
Mechanics of Materials
Condensed Matter Physics
Mechanical Engineering
