An UPPAAL Model for Formal Verification of Clock Synchronization over CAN

Authors: Guillermo Rodríguez-Navas; Julián Proenza Arenas; Hans Hansson.
Category: Reports Publication Date: December, 2005 Number/Issue: A-02-2005 Citekey: Rodriguez-Navas-ea:2005b Institution: Departament de Matemàtiques i Informàtica (UIB)

Associated Project(s)