Approximate symbolic model checking of continuous-time Markov chains? (extended abstract) - Extended Boolean model - Document - PDFSEARCH.IO

First Page	Meta Content
	Approximate symbolic model checking of continuous-time Markov chains? (extended abstract) Add to Reading List Document Date: 2010-02-01 08:27:12 Open Document File Size: 317,92 KB Share Result on Facebook Facility terminal BDDs / / IndustryTerm model checking algorithm / / NaturalFeature Shannon / / Product Pentax K-x Digital Camera / / Technology model checking algorithm / / SocialTag Diagrams Functions and mappings Binary decision diagram Boolean algebra Model checking Integral Numerical integration Probability density function Mathematical analysis Mathematics

Approximate symbolic model checking of continuous-time Markov chains? (extended abstract)Add to Reading List