| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | plutao.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | J8LNKAN8RW/36KNLF7 |
| Repositório | dpi.inpe.br/plutao@80/2009/12.22.14.42.32 |
| Última Atualização | 2020:11.27.13.43.28 (UTC) marciana |
| Repositório de Metadados | dpi.inpe.br/plutao@80/2009/12.22.14.42.33 |
| Última Atualização dos Metadados | 2021:02.11.21.05.22 (UTC) administrator |
| Chave Secundária | INPE--PRE/ |
| Rótulo | lattes: 9838903489637812 2 PontesMorVérAmbVil:2009:MoChVe |
| Chave de Citação | PontesMorVérAmbVil:2009:MoChVe |
| Título | A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing  |
| Formato | Papel |
| Ano | 2009 |
| Data de Acesso | 26 abr. 2024 |
| Tipo Secundário | PRE CI |
| Número de Arquivos | 1 |
| Tamanho | 406 KiB |
| 2. Contextualização | |
| Autor | 1 Pontes, Rodrigo P. 2 Morais, Marcelo Henrique Essado de 3 Véras, Paulo C. 4 Ambrósio, Ana Maria 5 Villani, Emília |
| Grupo | 1 2 3 4 DSS-ETE-INPE-MCT-BR |
| Afiliação | 1 2 3 4 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Endereço de e-Mail do Autor | 1 2 messado@dem.inpe.br |
| Endereço de e-Mail | messado@dem.inpe.br |
| Nome do Evento | 4th IFAC WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN |
| Localização do Evento | Valencia |
| Data | 2009 |
| Título do Livro | Proceedings |
| Tipo Terciário | Paper |
| 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údo | concluido |
| Transferível | 1 |
| Tipo do Conteúdo | External Contribution |
| Palavras-Chave | verification model checking model based testing requirements analysis automata |
| Área | ETES |
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > A Comparative Analysis... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| URL dos dados | http://urlib.net/ibi/J8LNKAN8RW/36KNLF7 |
| URL dos dados zipados | http://urlib.net/zip/J8LNKAN8RW/36KNLF7 |
| Idioma | en |
| Arquivo Alvo | pontes_comparative.pdf |
| Grupo de Usuários | lattes marciana administrator |
| Visibilidade | shown |
| Permissão de Leitura | allow from all |
| Permissão de Atualização | não transferida |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/446B2HE |
| Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.21.02 2 |
| URL (dados não confiáveis) | http://www.desdes.uz.zgora.pl/ |
| Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
| 6. Notas | |
| Notas | Setores de Atividade: Administração Pública, Defesa e Seguridade Social, Educação. |
| Campos Vazios | abstract 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 | |