Download:
|
by Graeme Smith, Graeme Smith
In Australian Computer Science Conference'99-Australian Computer Science Communications, number 1 in 21
ftp://svrc.it.uq.edu.au/techreports/tr98-23.ps.gz
Add To MetaCart
Abstract:
reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript files are available from
Citations
|
416
|
Programming From Specifications
– Morgan
- 1994
|
|
257
|
A calculus of duration
– Chaochen, Hoare, et al.
- 1991
|
|
52
|
A Case-study in Timed Refinement: A Mine Pump
– Mahony, Hayes
- 1992
|
|
50
|
Using Z: Specification
– Woodcock, Davies
- 1996
|
|
38
|
Functional specification of time sensitive communicating systems
– Broy
- 1990
|
|
32
|
Formal methods for industrial applications, specifying and programming the steam boiler control
– Abrial, Börger, et al.
- 1996
|
|
28
|
The Specification and Refinement of Timed Processes
– Mahony
- 1992
|
|
22
|
A specification-oriented semantics for the refinement of real-time systems
– Scholefield, Zedan, et al.
- 1994
|
|
21
|
A Set-Theoretic Model for Real-Time Specification and Reasoning
– Fidge, Hayes, et al.
- 1998
|
|
12
|
Refinement of time
– Broy
- 1997
|
|
12
|
The generic problem competition: A whole system specification of the boiler system
– Millerchip, Mahony, et al.
- 1993
|
|
11
|
Z-based notation for the specification of timing properties
– Duddy, Everett, et al.
- 1995
|
|
9
|
A standard for finite TAM
– Scholefield, Zedan
- 1993
|
|
5
|
A boiler control system: Overview of a case study in timed refinement
– Mahony, Millerchip, et al.
- 1994
|
|
4
|
of Defence. The Procurement of Safety Critical Software in Defence Equipment. Defence Standard 00-55
– Ministry
- 1995
|
|
1
|
of Defence
– Ministry
- 1995
|
