Sign in
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation.
Antoine El-Hokayem
Yliè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