Login / Signup
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures.
Mickaël Kerboeuf
David Nowak
Jean-Pierre Talpin
Published in:
ICFEM (2003)
Keyphrases
</>
formal proof
theorem prover
multi agent
data sets
neural network
artificial intelligence
multi agent systems