The mine pump control program in Esterel
Giridhar, P., Kumar, V. and Joseph, M. (1997) The mine pump control program in Esterel. Technical Report. Department of Computer Science, Coventry, UK.
![[img]](http://eprints.dcs.warwick.ac.uk/style/images/fileicons/application_pdf.png)
| PDF - Published Version Download (90Kb) | Preview |
Abstract
This report describes the development of a mine pump control program in the synchronous programming language Esterel.
| Item Type: | Monograph (Technical Report) |
|---|---|
| Uncontrolled Keywords: | technicalreport |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Faculty of Science > Computer Science |
| Depositing User: | Mr Ebrahim Ardeshir |
| Date Deposited: | 04 Jan 2012 09:20 |
| Last Modified: | 01 Nov 2012 18:06 |
| URI: | http://eprints.dcs.warwick.ac.uk/id/eprint/1446 |
Actions (login required)
| View Item |
