Fechar

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentificadorJ8LNKAN8RW/38NQDBP
Repositóriodpi.inpe.br/plutao/2010/12.08.14.41
Última Atualização2011:02.18.17.47.04 (UTC) marciana
Repositório de Metadadosdpi.inpe.br/plutao/2010/12.08.14.41.35
Última Atualização dos Metadados2021:02.11.21.05.18 (UTC) administrator
Chave SecundáriaINPE--PRE/
Rótulolattes: 6217509029802638 3 PontesVillAmbr:2010:MoVeFo
Chave de CitaçãoPontesVillAmbr:2010:MoVeFo
TítuloModelagem e Verificação Formal de Software Embarcado Espacial Segundo a Norma PUS
Ano2010
Data de Acesso23 maio 2024
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho785 KiB
2. Contextualização
Autor1 Pontes, Rodrigo Pastl
2 Villani, Emília
3 Ambrosio, Ana Maria
Grupo1
2
3 DSS-ETE-INPE-MCT-BR
Afiliação1 Departamento de Engenharia Mecânica, Instituto Tecnológico de Aeronáutica - ITA
2 Departamento de Engenharia Mecânica, Instituto Tecnológico de Aeronáutica - ITA
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2
3 ana@dss.inpe.br
Endereço de e-Mailana@dss.inpe.br
Nome do EventoCongresso Brasileiro de Automática, 18 (CBA 2010).
Localização do EventoBonito
Data2010
Título do LivroAnais
Tipo TerciárioArtigo
Histórico (UTC)2010-12-08 15:32:32 :: lattes -> marciana :: 2010
2011-02-18 17:50:09 :: marciana -> administrator :: 2010
2021-02-11 21:05:18 :: administrator -> marciana :: 2010
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Modelagem e Verificação...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
URL dos dadoshttp://plutao.sid.inpe.br/ibi/J8LNKAN8RW/38NQDBP
URL dos dados zipadoshttp://plutao.sid.inpe.br/zip/J8LNKAN8RW/38NQDBP
Idiomapt
Arquivo AlvoPontes_Modelagem.pdf
Grupo de Usuárioslattes
marciana
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/446B2HE
Lista de Itens Citandosid.inpe.br/bibdigital/2021/02.11.21.02 1
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
Campos Vaziosabstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn keywords lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype volume
7. Controle da descrição
e-Mail (login)marciana
atualizar 


Fechar