Verification of Timeliness QoS Properties in Multimedia Systems

Behzad Bordbar; K Okano; JS Dong; J Woodcock

doi:10.1007/b94115

Verification of Timeliness QoS Properties in Multimedia Systems

Behzad Bordbar, K Okano, JS Dong, J Woodcock

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

Original language	English
Title of host publication	Formal Methods and Software Engineering
Subtitle of host publication	5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings
Publisher	Springer
Pages	523-540
Number of pages	18
ISBN (Print)	978-3-540-20461-9
DOIs	https://doi.org/10.1007/b94115
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

Keywords

QoS
model checker UPPAAL
verification
network of timed automata
real-time system

Access to Document

10.1007/b94115

http://www.cs.bham.ac.uk/~bxb/Papres/Verification_of_Timeliness_QoS.pdf

Cite this

@inproceedings{9dd7c16da0594f30be2be2f8b119b498,

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

keywords = "QoS, model checker UPPAAL, verification, network of timed automata, real-time system",

author = "Behzad Bordbar and K Okano and JS Dong and J Woodcock",

year = "2003",

month = jan,

day = "1",

doi = "10.1007/b94115",

language = "English",

isbn = "978-3-540-20461-9",

pages = "523--540",

booktitle = "Formal Methods and Software Engineering",

publisher = "Springer",

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

}

Bordbar, B, Okano, K, Dong, JS & Woodcock, J 2003, Verification of Timeliness QoS Properties in Multimedia Systems. in Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings. Springer, pp. 523-540, Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, Singapore, Singapore, 5/11/03. https://doi.org/10.1007/b94115

Verification of Timeliness QoS Properties in Multimedia Systems. / Bordbar, Behzad; Okano, K; Dong, JS et al.
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings. Springer, 2003. p. 523-540.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Verification of Timeliness QoS Properties in Multimedia Systems

AU - Bordbar, Behzad

AU - Okano, K

AU - Dong, JS

AU - Woodcock, J

PY - 2003/1/1

Y1 - 2003/1/1

KW - QoS

KW - model checker UPPAAL

KW - verification

KW - network of timed automata

KW - real-time system

U2 - 10.1007/b94115

DO - 10.1007/b94115

M3 - Conference contribution

SN - 978-3-540-20461-9

SP - 523

EP - 540

BT - Formal Methods and Software Engineering

PB - Springer

T2 - Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods

Y2 - 5 November 2003 through 7 November 2003

ER -