Model checking concurrent and real-time systems : the PAT approach

Ph.D

Saved in:

Bibliographic Details
Main Author:	LIU YANG
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2010
Subjects:	Formal Verification, Concurrent and Real-time Systems, Model Checking, PAT
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/17326
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-17326
record_format	dspace
spelling	sg-nus-scholar.10635-173262024-10-24T18:34:03Z Model checking concurrent and real-time systems : the PAT approach LIU YANG COMPUTER SCIENCE DONG JIN SONG SETIONO, RUDY Formal Verification, Concurrent and Real-time Systems, Model Checking, PAT Ph.D DOCTOR OF PHILOSOPHY 2010-06-08T18:00:16Z 2010-06-08T18:00:16Z 2009-10-26 Thesis LIU YANG (2009-10-26). Model checking concurrent and real-time systems : the PAT approach. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/17326 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
language	English
topic	Formal Verification, Concurrent and Real-time Systems, Model Checking, PAT
spellingShingle	Formal Verification, Concurrent and Real-time Systems, Model Checking, PAT LIU YANG Model checking concurrent and real-time systems : the PAT approach
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE LIU YANG
format	Theses and Dissertations
author	LIU YANG
author_sort	LIU YANG
title	Model checking concurrent and real-time systems : the PAT approach
title_short	Model checking concurrent and real-time systems : the PAT approach
title_full	Model checking concurrent and real-time systems : the PAT approach
title_fullStr	Model checking concurrent and real-time systems : the PAT approach
title_full_unstemmed	Model checking concurrent and real-time systems : the PAT approach
title_sort	model checking concurrent and real-time systems : the pat approach
publishDate	2010
url	http://scholarbank.nus.edu.sg/handle/10635/17326
_version_	1821194548264566784

Model checking concurrent and real-time systems : the PAT approach

Similar Items