Using UPPAAL to Model and Verify a Clock Synchronization Protocol for the Controller Area Network

IEEE Conference on Emerging Technologies and Factory Automation (ETFA)

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

Associated Project(s)