Login / Signup
A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory.
Anti Alman
Fabrizio Maria Maggi
Marco Montali
Fabio Patrizi
Andrey Rivkin
Published in:
Inf. Syst. (2023)
Keyphrases
</>
main contribution
theoretical framework
real time
neural network
monitoring system
wireless sensor networks
probabilistic model
lightweight
conceptual framework