Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

dc.contributorOliveira, Marcel Vinicius Medeiros
dc.contributor
dc.contributorhttp://lattes.cnpq.br/9738228110595318
dc.contributor
dc.contributorhttp://lattes.cnpq.br/1756952696097255
dc.contributorMota, Alexandre Cabral
dc.contributor
dc.contributorhttp://lattes.cnpq.br/2794026545404598
dc.contributorKreutz, Márcio Eduardo
dc.contributor
dc.contributorhttp://lattes.cnpq.br/6374279398246756
dc.creatorMedeiros Junior, Ivan Soares de
dc.date.accessioned2012-12-27
dc.date.accessioned2014-12-17T15:48:01Z
dc.date.accessioned2022-10-06T13:06:00Z
dc.date.available2012-12-27
dc.date.available2014-12-17T15:48:01Z
dc.date.available2022-10-06T13:06:00Z
dc.date.created2012-12-27
dc.date.created2014-12-17T15:48:01Z
dc.date.issued2012-04-27
dc.identifierMEDEIROS JUNIOR, Ivan Soares de. Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução. 2012. 158 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2012.
dc.identifierhttps://repositorio.ufrn.br/jspui/handle/123456789/18050
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/3963841
dc.publisherUniversidade Federal do Rio Grande do Norte
dc.publisherBR
dc.publisherUFRN
dc.publisherPrograma de Pós-Graduação em Sistemas e Computação
dc.publisherCiência da Computação
dc.rightsAcesso Aberto
dc.subjectMétoso formais
dc.subjectCSP
dc.subjectHandel-C, Ferramentas, Geração de código
dc.titleGeração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução
dc.typemasterThesis


Este ítem pertenece a la siguiente institución