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

Authors Guillermo Rodríguez-Navas | Julián Proenza Arenas | Hans Hansson
In IEEE International Workshop on Factory Communication Systems (WFCS), Torino (Italy), 2006.


RELATED PROJECTS

Uso de cookies

Este sitio web utiliza cookies para que usted tenga la mejor experiencia de usuario. Si continúa navegando está dando su consentimiento para la aceptación de las mencionadas cookies y la aceptación de nuestra política de cookies, pinche el enlace para mayor información.

ACEPTAR