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

Be the first to leave a comment!

Similar Items