104
click to vote
SFM
15 years 6 months ago
2007 Springer 
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
SFM
15 years 6 months ago
2007 Springer SFM
15 years 6 months ago
2007 Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
SFM
15 years 6 months ago
2007 Springer  |
Formal Methods