Extending object-Z for specifying real-time systems

Proceedings of the Conference on Technology of Object-Oriented Languages and Systems, TOOLS

Volumn , Issue , 1997, Pages 163-175

  Periyasamy, K ^a   Alagar, V S ^a  

^a UNIVERSITY OF MANITOBA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY; FORMAL LANGUAGES; FORMAL LOGIC; REAL TIME SYSTEMS;

REAL TIME OBJECT Z (RTOZ) PROGRAMMING LANGUAGE;

OBJECT ORIENTED PROGRAMMING;

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

References (17)