Application of formal methods to a real time software development / Andrew Parle.
Application of formal methods to a real time software development / Andrew Parle.
About this item
Full title
Author / Creator
Publisher
North Ryde NSW : CSIRO Australia, Division of Information Technology, 1987.
Date
1987.
Call Numbers
TQ062236
Record Identifier
MMS ID
Language
English
Formats
Physical Description
Physical content
[10] leaves ; 30 cm.
Publication information
Publisher
North Ryde NSW : CSIRO Australia, Division of Information Technology, 1987.
Place of Publication
New South Wales
Date Published
1987.
Subjects
More information
Alternative Titles
Full title
Application of formal methods to a real time software development / Andrew Parle.
Authors, Artists and Contributors
Author / Creator
Notes
General note
Information technology technical report ; pre-print PP-FC-87-01.
"Abstract. This paper describes the experience in applying a formal specification technique (the formal language Z) to a real time software development ..."
"April 1987"
Transferred from NQ005.1/25.
Identifiers
Primary Identifiers
Call Numbers
TQ062236
Record Identifier
74VvmQ5ARGwd
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74VvmQ5ARGwd
Other Identifiers
DDC
005.1
MMS ID
991006640079702626
