Amanote Research

Amanote Research

    RegisterSign In

Understanding and Enforcing Opacity

doi 10.1109/csf.2015.41
Full Text
Open PDF
Abstract

Available in full text

Date

July 1, 2015

Authors
Daniel SchoepeAndrei Sabelfeld
Publisher

IEEE


Related search

Enforcing Opacity of Regular Predicates on Modal Transition Systems

Discrete Event Dynamic Systems: Theory and Applications
ControlElectronic EngineeringSystems EngineeringSimulationElectricalModeling
2014English

Opacity Standards

Journal of Research of the National Bureau of Standards
1934English

Motion-Driven Transparency and Opacity

i-Perception
OphthalmologySensory SystemsExperimentalArtificial IntelligenceCognitive Psychology
2016English

Opacity, Transition, and Design Research

Cuadernos del Centro de Estudios de Diseño y Comunicación
2019English

Enforcing Traceability in Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Enforcing Concurrent Temporal Behaviors

International Journal of Foundations of Computer Science
Computer Science
2006English

Acquired Left Atrial Opacity

Journal of Cardiothoracic and Vascular Anesthesia
Cardiovascular MedicineAnesthesiologyPain MedicineCardiology
2016English

Honesty and Opacity in Charge Bargaining

SSRN Electronic Journal
2003English

Astrophysical Equation of State and Opacity

2000English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy