Coercing real-time refinement: A transmitter (1997) [19 citations — 10 self]
by Ian J. Hayes, Ian J. Hayes, Mark Utting, Mark Utting
BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing
ftp://svrc.it.uq.edu.au/techreports/tr96-11.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Hayes97coercingreal-time,author = {Ian J. Hayes and Ian J. Hayes and Mark Utting and Mark Utting},
title = {Coercing real-time refinement: A transmitter},
booktitle = {BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing},
year = {1997},
publisher = {Springer Verlag}
}
Years of Citing Articles
Abstract:
via anonymous ftp, from ftp.cs.uq.edu.au in the directory /pub/SVRC/techreports. Coercing real-time refinement: A transmitter
Citations
| 416 | Programming from Specifications – MORGAN - 1994 |
| 116 | The specification statement – Morgan - 1988 |
| 53 | A Case-study in Timed Refinement: A Mine Pump – Mahony, Hayes - 1992 |
| 28 | The Specification and Refinement of Timed Processes – Mahony - 1992 |
| 18 | Integrating real-time scheduling theory and program refinement – Fidge, Utting, et al. - 1996 |
| 17 | Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, and Chong Sang Kim. An accurate worst case timing analysis for RISC processors – Lim, Bae - 1995 |
| 13 | A case study in timed refinement: A central heater – Mahony, Hayes - 1991 |
| 11 | Termination is timing – Hehner - 1989 |
| 5 | A boiler control system: Overview of a case study in timed refinement – Mahony, Millerchip, et al. - 1994 |
| 2 | Utting and Colin Fidge. A real-time refinement calculus that changes only time – Mark - 1996 |
