Login / Signup
Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework.
Francesco Moscato
Salvatore Venticinque
Rocco Aversa
Beniamino Di Martino
Published in:
IDC (2008)
Keyphrases
</>
real time
multi agent systems
main contribution
data sets
theoretical framework
probabilistic model
low cost
vision system
conceptual framework
information systems
control system
high speed
temporal logic
formal methods
real time systems