Controller area network: a formal case study

IEEE International Workshop on Factory Communication Systems, WPCS, Proceedings,

Volumn , Issue , 1997, Pages 365-372

  Benzekri, Abdelmalek ^a   Bruel, Jean Michel ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SET THEORY;

CONTROLLER AREA NETWORKS; SOFTWARE SYSTEMS;

COMPUTER NETWORKS;

EID: 0031332917     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)