Verification of Timeliness QoS Properties in Multimedia Systems

Behzad Bordbar; K Okano

Verification of Timeliness QoS Properties in Multimedia Systems

Behzad Bordbar, K Okano

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2003
Event	Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods - Singapore, Singapore Duration: 5 Nov 2003 → 7 Nov 2003

Conference

Conference	Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods
Abbreviated title	(ICFEM 2003)
Country/Territory	Singapore
City	Singapore
Period	5/11/03 → 7/11/03

Cite this

@conference{819028ca6133489cbbc19c2019e5ffbc,

title = "Verification of Timeliness QoS Properties in Multimedia Systems",

author = "Behzad Bordbar and K Okano",

year = "2003",

month = jan,

day = "1",

language = "English",

note = "Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, (ICFEM 2003) ; Conference date: 05-11-2003 Through 07-11-2003",

}