The AUTOSAR timing model - Status and challenges

Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Volumn , Issue , 2006, Pages 9-10

  Richter, Kai ^a  

^a CTO Symtavision GmbH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

TIMING CIRCUITS;

AUTOSAR; INDUSTRIAL PROCESSS; INDUSTRY REQUIREMENTS; SYSTEM INTEGRATION; TECHNICAL CHALLENGES; TIMING ANALYSIS; TIMING MODELING;

FORMAL METHODS;

EID: 77956431286     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISoLA.2006.59     Document Type: Conference Paper

References (0)