Design and Formal Verification of a Fault-tolerant Clock Synchronization Subsystem for the Controller Area Network

Authors: Guillermo Rodríguez-Navas; Julián Proenza Arenas.
Category: Ph. D. Theses Publication Date: November, 2010 Citekey: GuillermoTesis2010 Institution: Universitat de les Illes Balears
View PDF

Associated Project(s)