Login / Signup

Formal Distributed Protocol Development for Reservation of Railway Sections.

Paulius StankaitisAlexei IliasovTsutomu KobayashiYamine Aït AmeurFuyuki IshikawaAlexander B. Romanovsky
Published in: ABZ (2020)
Keyphrases
  • lightweight
  • formal analysis
  • distributed systems
  • case study
  • multi agent
  • cooperative
  • software engineering
  • information processing
  • design process
  • mobile agents
  • computer networks
  • wide area network
  • group communication