Sign in
On the Monitoring of Decentralized Specifications Semantics, Properties, Analysis, and Simulation.
Antoine El-Hokayem
Yliès Falcone
Published in:
CoRR (2018)
Keyphrases
</>
numerical analysis
data mining
information systems
monitoring system
formal language
high level
cooperative
statistical analysis
mathematical model
quantitative analysis
simulation environment
semantic representation
mathematical analysis