Login / Signup

Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B.

Raghuraj SuryavanshiDivakar Yadav
Published in: ICDEM (2010)
Keyphrases
  • total order
  • partial order
  • partial order planning
  • fault tolerant
  • software engineering
  • partially ordered
  • machine learning
  • event detection