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

• Egile nagusia: Warawoot Pacharoen (Egilea)
• Beste egile batzuk: Athasit Surarerks (Laguntzailea), Pattarasinee Bhattarakosol (Laguntzailea), Chulalongkorn University. Faculty of Engineering (Laguntzailea)
• Formatua: Liburua
• Argitaratua: Chulalongkorn University, 2013-11-26T04:28:15Z.
• Gaiak: Thesis
• Sarrera elektronikoa: http://cuir.car.chula.ac.th/handle/123456789/36723

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