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

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!

Similar Items

Similar Items