Improved Symbolic Model Checking of Real-Time Systems

Ph.D

Saved in:

Bibliographic Details
Main Author:	NGUYEN TRUONG KHANH
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2014
Subjects:	real-time, symbolic model checking, BDD, simulation, verification
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/118192
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-118192
record_format	dspace
spelling	sg-nus-scholar.10635-1181922015-01-05T23:07:31Z Improved Symbolic Model Checking of Real-Time Systems NGUYEN TRUONG KHANH COMPUTER SCIENCE DONG JIN SONG real-time, symbolic model checking, BDD, simulation, verification Ph.D DOCTOR OF PHILOSOPHY 2014-12-31T18:00:16Z 2014-12-31T18:00:16Z 2014-07-30 Thesis NGUYEN TRUONG KHANH (2014-07-30). Improved Symbolic Model Checking of Real-Time Systems. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/118192 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	real-time, symbolic model checking, BDD, simulation, verification
spellingShingle	real-time, symbolic model checking, BDD, simulation, verification NGUYEN TRUONG KHANH Improved Symbolic Model Checking of Real-Time Systems
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE NGUYEN TRUONG KHANH
format	Theses and Dissertations
author	NGUYEN TRUONG KHANH
author_sort	NGUYEN TRUONG KHANH
title	Improved Symbolic Model Checking of Real-Time Systems
title_short	Improved Symbolic Model Checking of Real-Time Systems
title_full	Improved Symbolic Model Checking of Real-Time Systems
title_fullStr	Improved Symbolic Model Checking of Real-Time Systems
title_full_unstemmed	Improved Symbolic Model Checking of Real-Time Systems
title_sort	improved symbolic model checking of real-time systems
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/118192
_version_	1681095455693340672

Improved Symbolic Model Checking of Real-Time Systems

Similar Items