Tools and verification techniques for integrated formal methods

Ph.D

Saved in:

Bibliographic Details
Main Author:	SUN JING
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2010
Subjects:	Integrated Formal Methods, TCOZ, UML, XML/XSL, specification animation, formal reasoning.
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/13631
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-13631
record_format	dspace
spelling	sg-nus-scholar.10635-136312015-01-11T06:39:01Z Tools and verification techniques for integrated formal methods SUN JING COMPUTER SCIENCE DONG JIN SONG Integrated Formal Methods, TCOZ, UML, XML/XSL, specification animation, formal reasoning. Ph.D DOCTOR OF PHILOSOPHY 2010-04-08T10:34:56Z 2010-04-08T10:34:56Z 2004-02-12 Thesis SUN JING (2004-02-12). Tools and verification techniques for integrated formal methods. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/13631 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Integrated Formal Methods, TCOZ, UML, XML/XSL, specification animation, formal reasoning.
spellingShingle	Integrated Formal Methods, TCOZ, UML, XML/XSL, specification animation, formal reasoning. SUN JING Tools and verification techniques for integrated formal methods
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE SUN JING
format	Theses and Dissertations
author	SUN JING
author_sort	SUN JING
title	Tools and verification techniques for integrated formal methods
title_short	Tools and verification techniques for integrated formal methods
title_full	Tools and verification techniques for integrated formal methods
title_fullStr	Tools and verification techniques for integrated formal methods
title_full_unstemmed	Tools and verification techniques for integrated formal methods
title_sort	tools and verification techniques for integrated formal methods
publishDate	2010
url	http://scholarbank.nus.edu.sg/handle/10635/13631
_version_	1681078890794057728

Tools and verification techniques for integrated formal methods

Similar Items