Login / Signup

Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures.

Mickaël KerboeufDavid NowakJean-Pierre Talpin
Published in: ICFEM (2003)
Keyphrases
  • formal proof
  • theorem prover
  • multi agent
  • data sets
  • neural network
  • artificial intelligence
  • multi agent systems