An UPPAAL Model for Formal Verification of Master/slave Clock Synchronization over the Controller Area Network

IEEE International Workshop on Factory Communication Systems (WFCS)

Authors: Guillermo Rodríguez-Navas; Julián Proenza Arenas; Hans Hansson.
Category: Conferences Publication Date: December, 2006 Citekey: Rodriguez-Navas-ea:2006 Location: Torino (Italy)

Associated Project(s)