QoS-Based Model Driven Assessment of Adaptive Reactive Systems
| Title | QoS-Based Model Driven Assessment of Adaptive Reactive Systems |
| Publication Type | Conference Proceedings |
| Year of Conference | 2010 |
| Authors | Perez-Palacin, D, Merseguer J, Mirandola R, Grassi V |
| Conference Name | Third International Conference on Software Testing, Verification, and Validation Workshops |
| Pagination | 299-308 |
| Date Published | 05/2010 |
| Publisher | IEEE Computer Society |
| Conference Location | Paris |
| Keywords | UML Quality of Service verification Model-Driven Development Reactive Software KLAPER Petri nets |
| URL | http://www.computer.org/portal/web/csdl/doi/10.1109/ICSTW.2010.20 |
| Export |
Files:
