Verificação de modelos uml de software embarcado com model checking
Os sistemas embarcados possuem inegável importância na sociedade atual. Eles possuem restrições temporais (quando são de tempo real), de gerência de consumo de energia, tamanho, peso etc que tornam o seu projeto e concepção mais complexos do que os sistemas convencionais. Dado o grande número de req...
| Autor principal: | Custódio, Marcelo Monteiro |
|---|---|
| Outros Autores: | http://lattes.cnpq.br/2691529717130089 |
| Grau: | Dissertação |
| Idioma: | por |
| Publicado em: |
Universidade Federal do Amazonas
2015
|
| Assuntos: | |
| Acesso em linha: |
http://tede.ufam.edu.br/handle/tede/2956 |