Resultado da Pesquisa
A expressão de busca foi <secondaryty ci and ref conference and firstg CRCRN-COCRE-INPE-MCTIC-GOV-BR and y 2019 and not is * and not booktitle, Resumos and not booktitle, Abstracts>.
1 referência encontrada buscando em 17 dentre 17 Arquivos.
Data e hora local de busca: 19/04/2024 16:11.
1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34R/3UDTHH5
Repositóriosid.inpe.br/mtc-m21c/2019/11.18.11.29
Última Atualização2019:12.13.13.09.56 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21c/2019/11.18.11.29.47
Última Atualização dos Metadados2020:01.06.11.42.23 (UTC) administrator
Chave SecundáriaINPE--PRE/
Chave de CitaçãoLaranjeiroGoScMoCaLoMi:2019:AdVeVa
TítuloAddressing verification and validation challenges in future cyber-physical systems
Ano2019
Data de Acesso19 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho73 KiB
2. Contextualização
Autor1 Laranjeiro, Nuno
2 Gomez, Camilo
3 Schiavone, Enrico
4 Montecchi, Leonardo
5 Carvalho, Manoel Jozeane Mafra de
6 Lollini, Paolo
7 Micskei, Zoltán
Identificador de Curriculo1
2
3
4
5 8JMKD3MGP5W/3C9JHNP
Grupo1
2
3
4
5 CRCRN-COCRE-INPE-MCTIC-GOV-BR
Afiliação1 Universidade de Coimbra
2 Universidad de los Andes
3 ResilTech
4 Universidade Estadual de Campinas (UNICAMP)
5 Instituto Nacional de Pesquisas Espaciais (INPE)
6 Università degli Studi di Firenze
7 Budapest University of Technology and Economics
Endereço de e-Mail do Autor1
2
3
4
5 manoel.carvalho@inpe.br
Nome do EventoLatin-American Symposium on Dependable Computing, 9 (LADC)
Localização do EventoNata, RN
Data19-21 Nov.
Histórico (UTC)2019-11-18 11:31:04 :: simone -> administrator :: 2019
2020-01-06 11:42:23 :: administrator -> simone :: 2019
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 > CRCRN > Addressing verification and...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 18/11/2019 08:29 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34R/3UDTHH5
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34R/3UDTHH5
Idiomaen
Arquivo AlvoAddressing Verification and Validation Challenges in Future Cyber-Physical Systems.pdf
Grupo de Usuáriosself-uploading-INPE-MCTI-GOV-BR
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/3EUAPES
Lista de Itens Citandosid.inpe.br/bibdigital/2013/10.03.20.46 2
sid.inpe.br/mtc-m21/2012/07.13.14.54.30 2
Acervo Hospedeirourlib.net/www/2017/11.22.19.04
6. Notas
Campos Vaziosabstract archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
7. Controle da descrição
e-Mail (login)simone
atualizar