Hytech: the next generation

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 1995, Pages 56-65

  Henzinger, Thomas A ^a   Ho, Pei Hsin ^a   Wong Toi, Howard ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; AUTOMATA THEORY; C (PROGRAMMING LANGUAGE); COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE PORTABILITY; ERROR DETECTION; HYBRID COMPUTERS; PERFORMANCE; SOFTWARE PROTOTYPING;

DIAGNOSTIC ERROR TRACE GENERATION; HYBRID AUTOMATION MODEL; SOFTWARE PACKAGE HYTECH; SYMBOLIC MODEL CHECKER;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (0)