resumo
- Comunicação apresentada ao IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005), 12, Washington, 2005.
Model checking embedded systems with PROMELA
Artigo de Conferência
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
autores
data de publicação
- janeiro 1, 2005