Verification of hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4590 LNCS, Issue , 2007, Pages 38-

  Fränzle, Martin ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAMS; BOOLEAN FUNCTIONS; COMPUTER SIMULATION; ENCODING (SYMBOLS); INTERFACES (COMPUTER); VERIFICATION;

ARITHMETIC CONSTRAINTS; HYBRID SYSTEMS; SYMBOLIC METHODS;

EMBEDDED SYSTEMS;

EID: 38149051424     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73368-3_7     Document Type: Conference Paper

References (0)