QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS

Ph.D

Saved in:

Bibliographic Details
Main Author:	RATUL SAHA
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2017
Subjects:	Probabilistic Systems, Model Checking, Formal Verification, Distributed Systems, Business Process Management Systems, Markov Processes
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/138180
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-138180
record_format	dspace
spelling	sg-nus-scholar.10635-1381802021-02-19T09:11:22Z QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS RATUL SAHA COMPUTER SCIENCE DAVID SAMUEL ROSENBLUM Probabilistic Systems, Model Checking, Formal Verification, Distributed Systems, Business Process Management Systems, Markov Processes Ph.D DOCTOR OF PHILOSOPHY 2017-12-31T18:01:16Z 2017-12-31T18:01:16Z 2017-08-04 Thesis RATUL SAHA (2017-08-04). QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/138180 en
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
language	English
topic	Probabilistic Systems, Model Checking, Formal Verification, Distributed Systems, Business Process Management Systems, Markov Processes
spellingShingle	Probabilistic Systems, Model Checking, Formal Verification, Distributed Systems, Business Process Management Systems, Markov Processes RATUL SAHA QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE RATUL SAHA
format	Theses and Dissertations
author	RATUL SAHA
author_sort	RATUL SAHA
title	QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS
title_short	QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS
title_full	QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS
title_fullStr	QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS
title_full_unstemmed	QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS
title_sort	quantitative model checking of distributed probabilistic systems
publishDate	2017
url	http://scholarbank.nus.edu.sg/handle/10635/138180
_version_	1693115599742304256

QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS

Similar Items