Performance Model Checking An extension of UPPAAL w Joost-Pieter Katoen
The Model
An Example
Semantics
Another Example
Previous slide
Next slide
Back to first slide
View graphic version