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

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

Na minha lista:

Detalhes bibliográficos
Autor principal:	Warawoot Pacharoen (Author)
Outros Autores:	Athasit Surarerks (Contributor), Pattarasinee Bhattarakosol (Contributor), Chulalongkorn University. Faculty of Engineering (Contributor)
Formato:	Livro
Publicado em:	Chulalongkorn University, 2013-11-26T04:28:15Z.
Assuntos:	Thesis
Acesso em linha:	http://cuir.car.chula.ac.th/handle/123456789/36723
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Internet

Detalhes do Exemplar 3rd Floor Main Library
Área/Cota:	A1234.567
Cód. Barras: 1	Disponível