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:
16 Jul 2024 01:45