Sign in
A general language-based framework for specifying and verifying notions of opacity.
Andrew Wintenberg
Matthew Blischke
Stéphane Lafortune
Necmiye Ozay
Published in:
Discret. Event Dyn. Syst. (2022)
Keyphrases
</>
special case
lightweight
main contribution
key properties
theoretical framework
closely related
language learning
conceptual framework
context dependent
representation language
general theory