Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems / Anne Remke and Marielle Stoelinga
Language: English Publication details: Springer, 2014. Heidelberg :Description: vii, 280 p. : ill. ; 23 cmISBN:- 9783662454886
- 003.76 REM/S
Item type | Current library | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
Central Library, IIT Bhubaneswar | Central Library, IIT Bhubaneswar | SES | 003.76 REM/S (Browse shelf(Opens below)) | Available | 10347 |
Total holds: 0
Including reference and index.
There are no comments on this title.