Login / Signup

Formal Analysis of the Priority Ceiling Protocol.

Bruno Dutertre
Published in: RTSS (2000)
Keyphrases
  • formal analysis
  • ban logic
  • payment protocol
  • agent model
  • formal methods
  • mobile robot
  • database
  • case study
  • lightweight
  • single image