A verification system for interval-based specification languages with its application to simulink

Ph.D

Saved in:

Bibliographic Details
Main Author:	CHEN CHUNQING
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2010
Subjects:	Real-time computing systems, Interval-based specification languages, Formal verification, PVS, Simulink
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/12960
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-12960
record_format	dspace
spelling	sg-nus-scholar.10635-129602017-10-21T09:28:03Z A verification system for interval-based specification languages with its application to simulink CHEN CHUNQING COMPUTER SCIENCE DONG JIN SONG Real-time computing systems, Interval-based specification languages, Formal verification, PVS, Simulink Ph.D DOCTOR OF PHILOSOPHY 2010-04-08T10:28:47Z 2010-04-08T10:28:47Z 2009-09-03 Thesis CHEN CHUNQING (2009-09-03). A verification system for interval-based specification languages with its application to simulink. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/12960 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Real-time computing systems, Interval-based specification languages, Formal verification, PVS, Simulink
spellingShingle	Real-time computing systems, Interval-based specification languages, Formal verification, PVS, Simulink CHEN CHUNQING A verification system for interval-based specification languages with its application to simulink
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE CHEN CHUNQING
format	Theses and Dissertations
author	CHEN CHUNQING
author_sort	CHEN CHUNQING
title	A verification system for interval-based specification languages with its application to simulink
title_short	A verification system for interval-based specification languages with its application to simulink
title_full	A verification system for interval-based specification languages with its application to simulink
title_fullStr	A verification system for interval-based specification languages with its application to simulink
title_full_unstemmed	A verification system for interval-based specification languages with its application to simulink
title_sort	verification system for interval-based specification languages with its application to simulink
publishDate	2010
url	http://scholarbank.nus.edu.sg/handle/10635/12960
_version_	1681078776092426240

A verification system for interval-based specification languages with its application to simulink

Similar Items