2 search results - page 1 / 1 » Automatic Behavioural Model Calibration for Efficient PLL Sy... |
78
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
143
Voted
FORMATS
2009
Springer
15 years 7 months 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...