The Library
FORMAL DESCRIPTION OF REALTIME SYSTEMS - A REVIEW
Tools
UNSPECIFIED (1989) FORMAL DESCRIPTION OF REALTIME SYSTEMS - A REVIEW. [Journal Item]
Full text not available from this repository.| 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 |
| Date: | March 1989 |
| Volume: | 31 |
| Number: | 2 |
| Number of Pages: | 10 |
| Page Range: | pp. 67-76 |
| Publication Status: | Published |
| URI: | http://wrap.warwick.ac.uk/id/eprint/23953 |
Data sourced from Thomson Reuters' Web of Knowledge
Actions (login required)
![]() |
View Item |
Tools
Tools

