SEMANTICS OF MODECHART IN REAL TIME LOGIC.

Proceedings of the Hawaii International Conference on System Science

Volumn , Issue , 1988, Pages 479-489

  Jahanian, Farnam ^a   Lee, Raymond ^a   Mok, Aloysius K ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER METATHEORY; LOGIC DESIGN;

MODECHART; REAL TIME LOGIC; SEMANTICS; SPECIFICATION LANGUAGE; TIMING CONSTRAINTS;

COMPUTER SYSTEMS, DIGITAL;

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

References (6)