Geração Automática de Código para Redes de Sensores Sem Fio Usando Communicating X-Machine
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Communicating X-Machine
-
Desenvolvimento para Sistemas Embarcados
-
Engenharia de Software
-
Model Driven Development
-
Métodos Formais
-
Rede de Sensores Sem Fio
-
Redes de Sensores
-
Sistemas Embarcados
-
nesC
Identidade
identificador BrCris
-
8b1f3127234d1d2ec27bfc0813dcc2ea