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

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

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Warawoot Pacharoen (Yazar)
Diğer Yazarlar:	Athasit Surarerks (İştirakçi), Pattarasinee Bhattarakosol (İştirakçi), Chulalongkorn University. Faculty of Engineering (İştirakçi)
Materyal Türü:	Kitap
Baskı/Yayın Bilgisi:	Chulalongkorn University, 2013-11-26T04:28:15Z.
Konular:	Thesis
Online Erişim:	http://cuir.car.chula.ac.th/handle/123456789/36723
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Internet

Detaylı Erişim Bilgileri 3rd Floor Main Library
Yer Numarası:	A1234.567
Kopya Bilgisi 1	Kütüphanede