IEEE - Institute of Electrical and Electronics Engineers, Inc. - An approach to extending Object-Z with real-time

Third IEEE International Workshop on Electronic Design, Test and Applications

Author(s): Huaikou Miao ; Zhicheng Wen
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Kuala Lumpur, Malaysia
Conference Date: 17 January 2006
ISBN (Paper): 0-7695-2500-8
DOI: 10.1109/DELTA.2006.12
Regular:

This paper introduces Real-Time Object-Z, a language with real-time extensions to Object-Z, and describes the characters of real-time system: delay, timeout and multithread. Real-Time Object-Z... View More

Advertisement