Login / Signup
A timeless model for the verification of quasi-periodic distributed systems.
Maryam Dabaghchian
Zvonimir Rakamaric
Published in:
MEMOCODE (2019)
Keyphrases
</>
distributed systems
distributed environment
fault tolerance
real time
mobile agents
fault tolerant
image sequences
multi agent systems
software engineering
load balancing
real time systems