A framework for the formal specification and verification of distributed multimedia systems.

Blair, L. and Blair, Gordon S. and Bowman, H. and Chetwynd, Amanda G. (1994) A framework for the formal specification and verification of distributed multimedia systems. In: Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks. UNSPECIFIED.

Full text not available from this repository.
Item Type:
Contribution in Book/Report/Proceedings
Uncontrolled Keywords:
/dk/atira/pure/researchoutput/libraryofcongress/qa
Subjects:
?? QA MATHEMATICS ??
ID Code:
20767
Deposited By:
Deposited On:
25 Nov 2008 16:48
Refereed?:
No
Published?:
Published
Last Modified:
21 Nov 2022 13:21