Symbolic verification of executable control specifications

Proceedings of the IEEE International Symposium on Computer-Aided Control System Design

Volumn , Issue , 1999, Pages 581-586

  Banphawatthanarak, Chonlawit ^a   Krogh, Bruce H ^a   Butts, Ken ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; EMBEDDED SYSTEMS; FINITE AUTOMATA;

AUTOMOTIVE POWERTRAIN CONTROL; COMPUTED AIDED CONTROL SYSTEM DESIGN; EXECUTABLE CONTROL SPECIFICATIONS; EXECUTION SEMANTICS; MATLAB PROGRAM; STATEFLOW DIAGRAMS; SYMBOLIC MODEL CHECKING PROGRAMS;

COMPUTER SOFTWARE;

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

References (10)