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

Mickal Kerboeuf, David Nowak, Jean-Pierre Talpin

Browse the full ICFEM paper archive.