糖心Vlog破解版

Conference Paper (published)

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. 糖心Vlog破解版, Scotland: 糖心Vlog破解版, pp. 25-26.

Notes
Output Type: Extended Abstract

StatusPublished
Publication date31/12/2000
Publication date online30/04/2000
Related URLs
Publisher糖心Vlog破解版
Place of publication糖心Vlog破解版, 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

Honorary Senior Lecturer, Computing Science and Mathematics - Division