Conference Paper (published)
Details
Citation
Maharaj S & Shankland C (2000) A Survey of Formal Methods applied to IEEE 1394. In: Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems. IEEE TC-ECBS + TF RE and IFIP WG10.1: Joint Workshop on Formal Specifications of Computer-Based Systems, Edinburgh, Scotland, 06.04.2000-07.04.2000. Stirling, Scotland: University of Stirling, pp. 25-26.
Notes
Output Type: Extended Abstract
| Status | Published |
|---|---|
| Publication date | 31/12/2000 |
| Publication date online | 30/04/2000 |
| Related URLs | http://www.soc.napier.ac.uk/~bill/ecbs/fscbs.pdf |
| Publisher | University of Stirling |
| Place of publication | Stirling, Scotland |
| ISBN | 1-85-769121-0 |
| Conference | IEEE TC-ECBS + TF RE and IFIP WG10.1: Joint Workshop on Formal Specifications of Computer-Based Systems |
| Conference location | Edinburgh, Scotland |
| Dates |
People (1)
Senior Lecturer, Computing Science