c2008INSTITUTO MILITAR DE ENGENHARIAPraça General Tibúrcio, 80-Praia VermelhaRio de Janeiro-RJ CEP 22290-270Este exemplar é de propriedade do Instituto Militar de Engenharia, que poderá incluí-lo em base de dados, armazenar em computador, microfilmar ou adotar qualquerforma de arquivamento.É permitida a menção, reprodução parcial ou integral e a transmissão entre bibli-otecas deste trabalho, sem modificação de seu texto, em qualquer meio que esteja ouvenha a ser fixado, para pesquisa acadêmica, comentários e citações, desde que semfinalidade comercial e que seja feita a referência bibliográfica completa.Os conceitos expressos neste trabalho são de responsabilidade do(s) autor(es) edo(s) orientador(es).629.8 Silva, Alexandre de MelloS586a Aplicação de Verificação de Modelos a Programasde CLP: Explorando a Temporização
/
Alexandre deMello Silva. - Rio de Janeiro: Instituto Militar de Enge-nharia, 2008.121 p.: il.Dissertação (mestrado) - Instituto Militar de Enge-nharia - Rio de Janeiro, 2008.1. SistemasdeControle. 2. VerificaçãodeModelos.3. CLP. 4. Tempo Real. 5. Autômatos Temporizados.I. Título. II. Instituto Militar de Engenharia.CDD 629.82
Commenting has been disabled.