The Library
FORMAL DESCRIPTION OF REALTIME SYSTEMS - A REVIEW
Tools
UNSPECIFIED (1989) FORMAL DESCRIPTION OF REALTIME SYSTEMS - A REVIEW. INFORMATION AND SOFTWARE TECHNOLOGY, 31 (2). pp. 67-76.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Item Type: | Journal Item | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Journal or Publication Title: | INFORMATION AND SOFTWARE TECHNOLOGY | ||||
Publisher: | BUTTERWORTH-HEINEMANN LTD | ||||
ISSN: | 0950-5849 | ||||
Official Date: | March 1989 | ||||
Dates: |
|
||||
Volume: | 31 | ||||
Number: | 2 | ||||
Number of Pages: | 10 | ||||
Page Range: | pp. 67-76 | ||||
Publication Status: | Published |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |