Login / Signup

A timeless model for the verification of quasi-periodic distributed systems.

Maryam DabaghchianZvonimir 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