Login / Signup

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.

Andrea EspositoAlessandro AldiniMarco BernardoSabina Rossi
Published in: CoRR (2023)
Keyphrases
  • data analysis
  • three dimensional
  • image analysis
  • probabilistic model
  • information retrieval
  • social networks
  • case study
  • digital libraries
  • intelligent systems
  • knowledge based systems
  • quantitative analysis