A wide-spectrum language for object-based development of real-time systems

Authors: Chen Z.; Zedan H.; Cau A.; Yang H.

Source: Information Sciences, Volume 118, Number 1, September 1999 , pp. 15-35(21)

Publisher: Elsevier

Keywords: Object-based; Wide-spectrum language; Refinement calculus; Temporal Agent Model; HRT-HOOD; Interval Temporal Logic

Language: English

Document Type: Research article

DOI: http://dx.doi.org/10.1016/S0020-0255(99)00039-0

Publication date: 1999-09-01

• In this: publication
• By this: publisher
• In this Subject: Computer Science ,  Library Science
• By this author: Chen Z. ;  Zedan H. ;  Cau A. ;  Yang H.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers