Pontes, R. P., et al. :2009:
A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing
metadados (BibTeX ❘ Refer ❘ Como citar? ❘ XML ❘ xrefer ❘ oai_dc ❘ Capa)
<plutao.sid.inpe.br>
|
A expressão de busca foi <related:dpi.inpe.br/plutao@80/2009/12.22.14.42.33-0:en:title:2:model verification analysis checking:comparative analysis two verification techniques deds model checking versus model based testing:>.
1 referência similar encontrada (inclusive a original) buscando em 8 dentre 8 Arquivos. Data e hora local de busca: 26/04/2024 17:17. |
|
PontesMorVérAmbVil:2009:MoChVe Pontes, R. P., et al. :2009: A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing
metadados (BibTeX ❘ Refer ❘ Como citar? ❘ XML ❘ xrefer ❘ oai_dc ❘ Capa) <plutao.sid.inpe.br> |