Login / Signup

A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin.

Indranil SahaSuman Roy
Published in: ICCTA (2007)
Keyphrases
  • finite state
  • markov chain
  • markov decision processes
  • formal analysis
  • information retrieval
  • search algorithm
  • dynamic programming
  • communication protocol