Discover open access scientific publications

Search, annotate, share and cite publications

Publications by María del Pilar Tobar Acosta

Genres and Formats: Theoretical Refinement of Levels of Abstraction

Romanica Olomucensia
2014English

Related publications

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

Interference Analysis for Dependable Systems Using Refinement and Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Introduction to ‘Levels of Abstraction’

2015English

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

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

The Method of Levels of Abstraction

Minds and Machines
PhilosophyArtificial Intelligence
2008English

Theoretical and Experimental Comparison of Different Formats of Immunochromatographic Serodiagnostics

Sensors
InstrumentationInformation SystemsElectronic EngineeringBiochemistryAnalytical ChemistryMolecular Physics,ElectricalAtomicMedicineOptics
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy