Amanote Research
Register
Sign 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 Schoepe
Andrei Sabelfeld
Publisher
IEEE
Related search
Enforcing Opacity of Regular Predicates on Modal Transition Systems
Discrete Event Dynamic Systems: Theory and Applications
Control
Electronic Engineering
Systems Engineering
Simulation
Electrical
Modeling
Opacity Standards
Journal of Research of the National Bureau of Standards
Motion-Driven Transparency and Opacity
i-Perception
Ophthalmology
Sensory Systems
Experimental
Artificial Intelligence
Cognitive Psychology
Opacity, Transition, and Design Research
Cuadernos del Centro de Estudios de Diseño y Comunicación
Enforcing Traceability in Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Enforcing Concurrent Temporal Behaviors
International Journal of Foundations of Computer Science
Computer Science
Acquired Left Atrial Opacity
Journal of Cardiothoracic and Vascular Anesthesia
Cardiovascular Medicine
Anesthesiology
Pain Medicine
Cardiology
Honesty and Opacity in Charge Bargaining
SSRN Electronic Journal
Astrophysical Equation of State and Opacity