Image from Google Jackets

Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems / Anne Remke and Marielle Stoelinga

By: Contributor(s): Language: English Publication details: Springer, 2014. Heidelberg :Description: vii, 280 p. : ill. ; 23 cmISBN:
  • 9783662454886
Subject(s): DDC classification:
  • 003.76 REM/S
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)

Central Library, Indian Institute of Technology Bhubaneswar, 4th Floor, Administrative Building, Argul, Khordha, PIN-752050, Odisha, India
Phone: +91-674-7138750| Email:

Powered by Koha