Conference Proceeding

A Survey of Formal Methods applied to IEEE 1394

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

StatusPublished
Publication date31/12/2000
Publication date online30/04/2000
Related URLshttp://www.soc.napier.ac.uk/~bill/ecbs/fscbs.pdf
PublisherUniversity of Stirling
Place of publicationStirling, Scotland
ISBN1-85-769121-0
ConferenceIEEE TC-ECBS + TF RE and IFIP WG10.1: Joint Workshop on Formal Specifications of Computer-Based Systems
Conference locationEdinburgh, Scotland
Dates–

People (1)

Dr Savi Maharaj

Dr Savi Maharaj

Senior Lecturer, Computing Science