DocumentCode

313057

Title

Formal Methods for Broadband and Multimedia Systems

Author

Fischer, Stefan ; Leue, Stefan

Author_Institution

Universite de Montreal

fYear

1997

fDate

17-23 May 1997

Firstpage

665

Lastpage

666

Keywords

Application software; Broadband communication; Delay; Logic; Multimedia systems; Permission; Protocols; Quality of service; Streaming media; TCPIP;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 1997., Proceedings of the 1997 (19th) International Conference on

ISSN

0270-5257

Print_ISBN

0-89791-914-9

Type

conf

DOI

10.1109/ICSE.1997.610460

Filename

610460