2 search results - page 1 / 1 » Automatic Behavioural Model Calibration for Efficient PLL Sy... |
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
FORMATS
2009
Springer
14 years 25 days ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...