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 |
|---|---|---|---|---|---|---|---|---|
Technical Reference Book
|
Central Library, IIT Bhubaneswar | Central Library, IIT Bhubaneswar | SES | 003.76 REM/S (Browse shelf(Opens below)) | Available | 10347 |
Total holds: 0
Browsing Central Library, IIT Bhubaneswar shelves Close shelf browser (Hides shelf browser)
| 003.56 TRA/D Discrete choice methods with simulation / | 003.72 LAT/C Complex networks : | 003.74 GAR/H Hierarchical linear modeling : guide and applications / | 003.76 REM/S Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems / | 003.8 SOL/C Continuous and discrete signals and systems / | 003.85 BAK/C Chaotic Dynamics | 003.857 HIL/C Chaos and nonlinear dynamics an introduction for scientists and engineers |
Including reference and index.
There are no comments on this title.