EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Classification: CR-B.8
Home Policy Brochure Browse Search User Area Contact Help

2010

Xing, Jian Sheng and Theelen, B.D. and Langerak, R. and van de Pol, J.C. and Tretmans, G.J. and Voeten, J.P.M. (2010) From POOSL to UPPAAL: Transformation and Quantitative Analysis. In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal. pp. 47-56. IEEE Computer Society. ISSN 1550-4808 ISBN 978-0-7695-4066-5

2007

Bader, A. and Westberg, L. and Karagiannis, G. and Kappler, C. and Phelan, T. (2007) RMD-QOSM - The Resource Management in Diffserv QOS Model. IETF Internet draft draft-ietf-nsis-rmd-12 Internet Engineering Task Force (IETF), USA.
Chan, K. and Karagiannis, G. (2007) Pre-Congestion Notification Encoding Comparison. IETF Internet draft draft-chan-pcn-encoding-comparison-01 Internet Engineering Task Force (IETF), USA.
Westberg, L. and Bhargava, A. and Bader, A. and Karagiannis, G. (2007) LC-PCN: The Load Control PCN Solution. IETF Internet draft draft-westberg-pcn-load-control-02 Internet Engineering Task Force (IETF), USA.