BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes
| Autores | Silva, Sarah Raquel da Rocha | |
|---|---|---|
| Orientador | Oliveira, Marcel Vinicius Medeiros | |
| Editor | Universidade Federal do Rio Grande do Norte | |
| Data | 2013-12-13 | |
| Palavras-chave | Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos Formal Methods. Component-Based Development. Competition. Model Checking | |
| Citação | ||
| Resumo | ||
| Abstract | ||
| URI | https://repositorio.ufrn.br/jspui/handle/123456789/18098 | |
| Coleções | PPGSC - Mestrado em Sistemas e Computação |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- SarahRRS_DISSERT.pdf
- Tamanho:
- 1.86 MB
- Formato:
- Adobe Portable Document Format
Carregando...