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. Â鶹´«Ã½AV, Scotland: Â鶹´«Ã½AV, pp. 25-26.
Notes
Output Type: Extended Abstract
| Status | Published |
|---|---|
| Publication date | 31/12/2000 |
| Publication date online | 30/04/2000 |
| Related URLs | |
| Publisher | Â鶹´«Ã½AV |
| Place of publication | Â鶹´«Ã½AV, 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 | ¨C |
People (1)
Senior Lecturer, Computing Science