Formal verification and analysis of multimedia systems

Proceedings of the ACM International Multimedia Conference & Exhibition

Volumn , Issue , 1999, Pages 419-430

  Campos, Sergio ^a   Ribeiro Neto, Berthier ^a   Macedo, Autran ^a   Bertini, Luciano ^a  

^a FEDERAL UNIVERSITY OF MINAS GERAIS   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; COMPUTER SYSTEMS PROGRAMMING; MATHEMATICAL MODELS; RESPONSE TIME (COMPUTER SYSTEMS); VIDEO ON DEMAND;

FORMAL VERIFICATION;

MULTIMEDIA SYSTEMS;

EID: 0033279730     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/319463.319678     Document Type: Conference Paper

References (30)