DocumentCode :
2621249
Title :
An UPPAAL Model for Formal Verification of Master/Slave Clock Synchronization over the Controller Area Network
Author :
Rodriguez-Navas, Guillermo ; Proenza, Julián ; Hansson, Hans
fYear :
0
fDate :
0-0 0
Firstpage :
3
Lastpage :
12
Keywords :
Application software; Automata; Clocks; Computer science; Control systems; Embedded system; Formal verification; Manufacturing automation; Master-slave; Synchronization;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Factory Communication Systems, 2006 IEEE International Workshop on
Conference_Location :
Torino, Italy
Print_ISBN :
1-4244-0379-0
Type :
conf
DOI :
10.1109/WFCS.2006.1704117
Filename :
1704117
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2621249
بازگشت