Specifying timing constraints in real-time object-oriented systems

Proceedings of the High-Assurance Systems Engineering Workshop

Volumn , Issue , 1997, Pages 32-39

  Vishnuvajjala, Ramakrishna V ^a   Tsai, Wei Tek ^a   Mojdehbakhsh, Ramin ^a   Elliott, Lynn ^a  

^a UNIVERSITY OF MINNESOTA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; CONSTRAINT THEORY; INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS;

GUARDED METHOD SEQUENCE SPECIFICATION (GMTSS);

OBJECT ORIENTED PROGRAMMING;

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

References (15)