From POOSL to UPPAAL: Transformation and Quantitative Analysis

Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten. From POOSL to UPPAAL: Transformation and Quantitative Analysis. In Luís Gomes, Victor Khomenko, João M. Fernandes, editors, 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010. pages 47-56, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.