Conformance verification of finite state machines based on machine inference and model checking

Thesis (Ph.D.)--Chulalongkorn University, 2012

Saved in:

Bibliographic Details
Main Author:	Warawoot Pacharoen (Author)
Other Authors:	Athasit Surarerks (Contributor), Pattarasinee Bhattarakosol (Contributor), Chulalongkorn University. Faculty of Engineering (Contributor)
Format:	Book
Published:	Chulalongkorn University, 2013-11-26T04:28:15Z.
Subjects:	Thesis
Online Access:	http://cuir.car.chula.ac.th/handle/123456789/36723
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

Holdings details from 3rd Floor Main Library
Call Number:	A1234.567
Copy 1	Available