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/36KNLF7
Repositóriodpi.inpe.br/plutao@80/2009/12.22.14.42.32
Última Atualização2020:11.27.13.43.28 (UTC) marciana
Repositório de Metadadosdpi.inpe.br/plutao@80/2009/12.22.14.42.33
Última Atualização dos Metadados2021:02.11.21.05.22 (UTC) administrator
Chave SecundáriaINPE--PRE/
Rótulolattes: 9838903489637812 2 PontesMorVérAmbVil:2009:MoChVe
Chave de CitaçãoPontesMorVérAmbVil:2009:MoChVe
TítuloA Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing
FormatoPapel
Ano2009
Data de Acesso23 maio 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho406 KiB
2. Contextualização
Autor1 Pontes, Rodrigo P.
2 Morais, Marcelo Henrique Essado de
3 Véras, Paulo C.
4 Ambrósio, Ana Maria
5 Villani, Emília
Grupo1
2
3
4 DSS-ETE-INPE-MCT-BR
Afiliação1
2
3
4 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 messado@dem.inpe.br
Endereço de e-Mailmessado@dem.inpe.br
Nome do Evento4th IFAC WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN
Localização do EventoValencia
Data2009
Título do LivroProceedings
Tipo TerciárioPaper
Histórico (UTC)2009-12-23 14:00:44 :: lattes -> marciana ::
2010-01-06 13:29:46 :: marciana -> administrator ::
2018-06-05 00:12:53 :: administrator -> marciana ::
2020-11-27 13:43:28 :: marciana -> administrator :: 2009
2021-02-11 21:05:22 :: administrator -> marciana :: 2009
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
Palavras-Chaveverification
model checking
model based testing
requirements analysis
automata
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > A Comparative Analysis...
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/36KNLF7
URL dos dados zipadoshttp://plutao.sid.inpe.br/zip/J8LNKAN8RW/36KNLF7
Idiomaen
Arquivo Alvopontes_comparative.pdf
Grupo de Usuárioslattes
marciana
administrator
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 2
URL (dados não confiáveis)http://www.desdes.uz.zgora.pl/
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
NotasSetores de Atividade: Administração Pública, Defesa e Seguridade Social, Educação.
Campos Vaziosabstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor isbn issn lineage mark mirrorrepository nextedition 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 versiontype volume
7. Controle da descrição
e-Mail (login)marciana
atualizar 


Fechar