Title :
Formal Methods for Broadband and Multimedia Systems
Author :
Fischer, Stefan ; Leue, Stefan
Author_Institution :
Universite de Montreal
Keywords :
Application software; Broadband communication; Delay; Logic; Multimedia systems; Permission; Protocols; Quality of service; Streaming media; TCPIP;
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 (19th) International Conference on
Print_ISBN :
0-89791-914-9
DOI :
10.1109/ICSE.1997.610460
