Complementary formalisms - synthesis, verification and visualization

Ph.D

Saved in:

Bibliographic Details
Main Author:	SUN JUN
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2010
Subjects:	Synthesis, Verification, Visualization, Z/Object-Z, CSP/Timed CSP, MSC/LSC
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/15569
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-15569
record_format	dspace
spelling	sg-nus-scholar.10635-155692015-02-27T19:16:32Z Complementary formalisms - synthesis, verification and visualization SUN JUN COMPUTER SCIENCE DONG JIN SONG Synthesis, Verification, Visualization, Z/Object-Z, CSP/Timed CSP, MSC/LSC Ph.D DOCTOR OF PHILOSOPHY 2010-04-08T10:54:57Z 2010-04-08T10:54:57Z 2006-09-28 Thesis SUN JUN (2006-09-28). Complementary formalisms - synthesis, verification and visualization. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/15569 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Synthesis, Verification, Visualization, Z/Object-Z, CSP/Timed CSP, MSC/LSC
spellingShingle	Synthesis, Verification, Visualization, Z/Object-Z, CSP/Timed CSP, MSC/LSC SUN JUN Complementary formalisms - synthesis, verification and visualization
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE SUN JUN
format	Theses and Dissertations
author	SUN JUN
author_sort	SUN JUN
title	Complementary formalisms - synthesis, verification and visualization
title_short	Complementary formalisms - synthesis, verification and visualization
title_full	Complementary formalisms - synthesis, verification and visualization
title_fullStr	Complementary formalisms - synthesis, verification and visualization
title_full_unstemmed	Complementary formalisms - synthesis, verification and visualization
title_sort	complementary formalisms - synthesis, verification and visualization
publishDate	2010
url	http://scholarbank.nus.edu.sg/handle/10635/15569
_version_	1681079216710352896

Complementary formalisms - synthesis, verification and visualization

Similar Items