Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems
André L. N. Muniz, Aline M. S. Andrade, George LimaVolume:
6
Language:
english
Pages:
9
DOI:
10.1007/s11334-009-0103-6
Date:
March, 2010
File:
PDF, 500 KB
english, 2010