Guillermo Rodriguez-Navas Gonzalez


Ph.D. Universitat de les Illes Balears 2010 Catalonia
Dissertation: Design and Formal Verification of a Fault-tolerant Clock Synchronization Subsystem for the Controller Area Network
Mathematics Subject Classification: 68—Computer science

Advisor 1: Julián Proenza Arenas

No students known.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 251044 for the advisor ID.