autores
- EURICO AUGUSTO RODRIGUES DE SEABRA
- Borges, P.
- Machado, J.
- Seabra, E.
- Lima, M.
A formal approach for safe controllers analysis
Artigo Académico
- Visão geral
- Informação adicional documento
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2010