Genres and Formats: Theoretical Refinement of Levels of Abstraction

Romanica Olomucensia

doi 10.5507/ro.2014.016

Full Text

Abstract

Available in

Date

Authors

Publisher

Palacky University Olomouc

Related search

Component-Based Abstraction and Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

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

Solving Games via Three-Valued Abstraction Refinement

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

Introduction to ‘Levels of Abstraction’

2015English

Automated Assume-Guarantee Reasoning by Abstraction Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

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

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2013English

Theoretical and Experimental Comparison of Different Formats of Immunochromatographic Serodiagnostics

Sensors
InstrumentationInformation SystemsElectronic EngineeringBiochemistryAnalytical ChemistryMolecular Physics,ElectricalAtomicMedicineOptics
2017English

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

International Journal of Foundations of Computer Science
Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy