Sign in

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation.

Antoine El-HokayemYliès Falcone
Published in: ACM Trans. Softw. Eng. Methodol. (2020)
Keyphrases
  • real time
  • statistical analysis
  • data sets
  • databases
  • cooperative
  • data analysis
  • monitoring system
  • semantic representation
  • formal language