| Tipo da Referência | Journal Article |
| Identificador | 8JMKD3MGP3W/3HG7KJE |
| Repositório | sid.inpe.br/plutao/2014/12.01.13.32 |
| Metadados | sid.inpe.br/plutao/2014/12.01.13.32.01 |
| Site | plutao.sid.inpe.br |
| Rótulo | lattes: 4404234627216005 1 ErasSantArak:2014:LeCoAr |
| ISSN | 1518-9082 |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Chave de Citação | ErasSantArak:2014:LeCoAr |
| Autor | 1 Eras, Eduardo Rohde 2 Santos, Luciana Brasil Rebelo dos 3 Arakaki, Reinaldo Gen Ichiro |
| Grupo | 1 LAC-CTE-INPE-MCTI-GOV-BR 2 CAP-COMP-SPG-INPE-MCTI-GOV-BR |
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 FATEC |
| Endereço de e-Mail do Autor | 1 eduardorohdeeras@gmail.com 2 luciana.santos@lac.inpe.br |
| Título | Um Leitor e Conversor de Arquivos XMI para SIstemas de Transição de Estados  |
| Revista | Boletim Técnico da Faculdade de Tecnologia de São Paulo |
| Ano | 2014 |
| Volume | 38 |
| Número | 16 |
| Palavras-Chave | Tool, UML, State Transition System, Formal Verification. |
| Páginas | 136-136 |
| Idioma | pt |
| URL (dados não confiáveis) | http://bt.fatecsp.br/system/articles/988/original/sict_2014.pdf |
| Tipo de Trabalho | conference paper |
| Tipo Secundário | PRE PN |
| Divulgação | PORTALCAPES |
| Area | COMP |
| Nota Secundária | B4_INTERDISCIPLINAR B4_MEDICINA_I B5_ODONTOLOGIA B5_ENGENHARIAS_III B5_ENGENHARIAS_IV B5_LETRAS_/_LINGUÍSTICA B5_ENGENHARIAS_II B5_GEOCIÊNCIAS C_ASTRONOMIA_/_FÍSICA C_EDUCAÇÃO C_CIÊNCIAS_AGRÁRIAS_I C_MATERIAIS |
| Nota Terciária | Trabalho não Vinculado à Tese/Dissertação |
| Tamanho | 116 KiB |
| Número de Arquivos | 1 |
| Última Atualização | 2015:02.12.16.29.59 dpi.inpe.br/plutao@80/2008/08.19.15.01 administrator |
| Última Atualização dos Metadados | 2018:06.04.23.39.42 dpi.inpe.br/plutao@80/2008/08.19.15.01 administrator {D 2014} |
| Estágio do Documento | concluido |
| É a matriz ou uma cópia? | é a matriz |
| Espelho | iconet.com.br/banon/2006/11.26.21.31 |
| Endereço de e-Mail | marcelo.pazos@inpe.br |
| e-Mail (login) | marcelo.pazos@inpe.br |
| Grupo de Usuários | lattes marcelo.pazos@inpe.br |
| Grupo de Leitores | administrator marcelo.pazos@inpe.br |
| Visibilidade | shown |
| Transferível | 1 |
| Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
| Tipo do Conteudo | External Contribution |
| Estágio do Documento | not transferred |
| Tipo de Versão | publisher |
| Política de Arquivamento | allowpublisher allowfinaldraft |
| Permissão de Leitura | allow from all |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3F2PHGS |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| Histórico | 2014-12-01 13:32:01 :: lattes -> administrator :: 2018-06-04 23:39:42 :: administrator -> marcelo.pazos@inpe.br :: 2014 |
| Campos Vazios | abstract alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel doi format isbn lineage mark month nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project resumeid rightsholder secondarydate secondarykey session shorttitle sponsor subject targetfile tertiarytype |
| Data de Acesso | 19 out. 2020 |
| atualizar | |
| similares |