Enforcing current-state opacity through shuffle and deletions of event observations

Raphael Júlio Barcelos, João Carlos Basilio

Automatica · 2021 · 14 citations · 31 references

Concepts

References

31