Telecharger Cours

Various Notions of Opacity Verified and Enforced at Runtime

When enforcing opacity at runtime (Figure 11c), we introduce a runtime enforcer to which the sequence of observable events is directly fed. This ...



Download