Correctness of vehicle control systems - a case study

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 1996, Pages 62-72

  Weinberg, H B ^a   Lynch, Nancy ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER SIMULATION; CONTROL SYSTEMS; DIFFERENTIATION (CALCULUS);

HYBRID I/O AUTOMATON (HIOA) MODEL;

INTELLIGENT VEHICLE HIGHWAY SYSTEMS;

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

References (27)